手続き型と関数型プログラミングの違いは？

Question

手続き型プログラミングと関数型プログラミングの違いは、前者が純粋関数どころか関数もそんな使わず無理くり目的を成し遂げるのに対し、後者が純粋関数を使いまくって、目的を成し遂げという違いでしょうか？

Answer 1

「手続き型プログラミング」は、関数を使わないということではありません。

「関数型プログラミング」という場合の「関数」は、純粋な関数、というごく限られた意味を指します。ここでいう「純粋」というのは、「引数と返り値以外に他への影響（=副作用）を及ぼさない」ということで、alert()のような外部出力する関数は含みません。

変数を破壊的に書き換える、普通に入出力を行うなど、副作用を駆使して書いていくのが手続き型プログラミング、副作用のない純粋な関数で書いていくのが関数型プログラミングです。

Answer 2

まず、関数という言葉には二つの意味があります。どちらも数学における関数を語源にしておりますが、具体的なところで違いがあります。

• １　複数のパラメータの関係性を意味するもの
  処理というよりかは状態を意味します。数学の関数の原義に近い。
• ２　いわゆるサブルーチン
  要するに「下請け処理」のこと。「パラメータを引数として渡し、戻り値を返す」という部分だけ見れば数学の関数に見えますが、副作用（これ以外の処理、例えば標準入出力）を実装できます。そもそも、引数や戻り値を使わないこともできるので、原義からは離れた言葉です。

前者を駆使してプログラムを作るものが関数型プログラミングです。手続き型であっても、後者の関数は普通に出てきます。