手続き型と関数型について。

Question

手続き型言語の定義は、「記述された命令を逐次的に実行し、処理の結果に応じて変数の内容を変化させていくプログラミング言語」となっていて、関数型言語の定義は、「数学的な言語仕様をもつプログラミング言語のこと。一度値を与えられた変数は常にその値を維持し、計算は計算結果を引数とした関数呼び出しの繰り返しとして行われる。」とあります。
関数型の、「一度値を与えられた変数は常にその値を維持し」はどういう意味ですか？
例えば、a=2とした後に、a=3などとすればaの値は変わっているのですが。
簡単な例で説明してください。

chirubou · Accepted Answer

すいません、再度 No.3 です。説明が悪過ぎました。「入れ替える」という部分は忘れてください。

では、No.4 の例をもう少し進めましょう。

int poo( void ) {
psum( 5 ); /* 代入 */
psum( 2 ); /* 5+2 */
pmul( 10 ); /* ( 5+2)*10 *
return( x );
}

int foo( void ) {
return( fmul( fsum( 5, 2 ), 10 ) );
}

というされに２つの関数を考えます。

printf( "ans=%d?n", poo() );
printf( "ans=%d?n", poo() );

とすると、最初の２回目の答えは当然違ってきますよね？同じにするためには、２回目の poo() を呼ぶ前に x=0; としなければなりません。ところが、

printf( "ans=%d?n", foo() );

の場合は何度やっても同じ答えになります。つまり、手続き型の場合（途中）結果を保存しているがために、結果がおかしくなることがる、ということを示したのです。

純粋な関数型言語では手続き型のように計算の（途中）結果を覚えておくことができないので、引数が同じであれば、常に同じ結果となりますが、手続き型の場合は、プログラム次第で（意図的に、あるいは意図に反して）どうにでもなってしまいます。逆に言えば、手続き型では（途中）結果を変数に保存することで計算を省略することができ、素早く結果を出す事が可能ですが、関数型の場合、それはできないので効率が悪い（それだけが効率が悪い原因の全てではないですが）という訳です。

関数型は数式のような「美しさ」があり、手続き型に比べバグが生じ難いという利点があるので、一部の人たちから大変支持されています。これ以上は他の回答者さんの参考 URL 等で勉強してください。

chirubou · Answer

再度 No.3 です。「デバッグがしやすくなる」というのが気になって。

別の例を見てみましょう。

int x = 0;
int psum( int y ) { x += y; }
int pmul( int z ) { x *= z: }

という手続きに対し、以下の関数があったとします。

int fsum( int x, int y ) { return( x * y ); }
int fmul( int x, int y ) { return( x * y ); }

ここで、( 5 + 2 ) * 10 を計算するとすると、

psum( 5 );  /* 代入 */
psum( 2 );  /*  5+2 */
pmul( 10 );   /* ( 5+2)*10 */

という手続きに対し、関数型では、

fmul( fsum( 5, 2 ), 10 );

という記述になります。手続き型の場合、psum() や pmul() の順序を変更できてしまいます（もちろん、こうすると望みの動作にならない場合があります）が、関数型の場合、順序は変えようがありません。私はこれが関数型言語の一番の効用だと思います。

もっと複雑なプログラムになった時、手続き型の関数の深いところで大域変数の値を変更してしまい、それがもとで思わぬ結果になる（バグ）ということはよくある事です。しかしながら、純粋に関数型で記述すると、自然とそういうことは起きないようにプログラムできる訳です。

chirubou · Answer

まず最初に「関数型」というのは精神論だと思ってください。実用的な言語の大半は、たとえそれが関数型言語と言われていても、純粋な関数という考え方「だけ」でプログラムできるようになっていません（理由は後述）。

例を挙げましょう。１から１０までの整数の和を求めるという場合、手続き型の場合（以下 C 言語風に記述）、

x = 0;
for( i=0; i<=10; i++ ) x += i;

となります。これを関数型風に書くと、

int sum10( int x ) {
  if( x > 0 ) return( x + sum10( x -1 ) );
  return( x );
}

という具合になります。関数の中で自分自身を呼び出す事を再帰といいますが、こうすることで上の for() 文の変数 i を変化させることなく、繰り返しを実現できます。

しかしながら、全ての計算を純粋な関数型言語で行うことは、非常に実行効率が悪くなり、実用的ではなくなります。このため、世の中の多くの関数型言語では、実際には変数の（２度目、３度目の）書き換えを許しています。

sakusaker7 · Answer

関数型言語の厳密な定義から言うと、「代入」(破壊的代入)という操作そのものが存在しません。ですから

> a=2とした後に、a=3などとすればaの値は変わっているのですが。

ということ自体ができません。突き詰めていくと「変数」自体なくなっちゃいます(すべてが関数の戻り値になる)。
ただ、「関数型言語」に分類される言語でもいわゆる代入(破壊的代入)を
行うことのできる言語はあります(Lisp, Schemeなどなど)。ですから、
積極的に変数に値の代入を行うことなく関数の呼び出しの組み合わせでプログラミングできる言語が関数型言語であるという考え方でもいいかもしれません。

興味があれば「ラムダ計算」とかいったキーワードで探してみてください。

参考URL:
関数型言語 - Wikipedia
http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E
ラムダ計算 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97
なぜ関数プログラミングは重要か
http://www.sampou.org/haskell/article/whyfp.html

ymmasayan · Answer

関数型言語の中で引数の値は変更してはいけないし、
もし変更してもそれは反映されないと言うことです。

Ｃ言語は関数型言語ではありませんが関数型プログラミングが可能です。
例えば(ポインターを使わずに)ａ＝２を引数として関数ｘを呼んだとき
ｘの中でａ＝３を実行した場合、ｘの中ではこれは有効ですが
returnするとａ＝２に戻ります。

この方式はcall　by　value（値呼び出し）と言われ呼び出し元がａはそのままにして
ａのコピーを作ってｘに渡すのです。
関数にミスがあったとき大事なデータを壊されないためです。

>　一度値を与えられた変数は常にその値を維持し、
>　計算は計算結果を引数とした関数呼び出しの繰り返しとして行われる。

上記のことを言っていると思います。

手続き型と関数型について。

すいません、再度 No.3 です。

再度 No.3 です。

まず最初に「関数型」というのは精神論だと思ってください。

関数型言語の厳密な定義から言うと、「代入」(破壊的代入)という操作そのものが存在しません。

関数型言語の中で引数の値は変更してはいけないし、

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング