関数型プログラミング: 原理、歴史、実用的な活用

基本概念

このスタイルを特徴づける、繰り返し現れる考え方があります。

• 純粋関数: 同じ入力に対して常に同じ結果を返し、副作用を生まない関数です。
• 不変性: データ構造をその場で書き換えず、変更が必要なときは新しい版を作ります。
• 第一級関数と高階関数: 関数は値として扱え、渡したり、返したり、合成したりできます。詳しくは値としての関数を参照してください。
• 参照透過性: 式をその値で置き換えてもプログラムの挙動が変わらない性質で、多くの関数型プログラマが保とうとします。詳しくは参照透過性を参照してください。
• 遅延評価: 一部の言語では、結果が必要になるまで計算を遅らせることで、無限構造や効率的な処理パイプラインを実現します。

歴史と系譜

理論的な起源は、関数と置換を扱う形式体系であるラムダ計算にあります。この理論は、Lisp や ML から、現代の純粋関数型言語やライブラリに至るまで、初期の言語や後の言語に影響を与えました。関数型の考え方は主流の言語やライブラリにも段階的に取り入れられ、他のパラダイムと混ざり合っています。

用途と例

関数型の技法は、データ変換、並行処理、ドメイン固有言語などで広く使われています。一般的な基本操作には map、filter、reduce があり、関数合成やカリー化もよく使われるパターンです。パラダイム自体の背景については関数型プログラミングをご覧ください。

実用上の考慮点と違い

関数型プログラミングは、他のスタイルと排他的ではありません。多くのシステムは、役立つ場面では不変データと純粋関数を使い、必要なときだけ制御された副作用（I/O や状態を持つインターフェース）を用いる、ハイブリッドな方法を採用します。推論やテストは改善されますが、抽象化のコスト、実行時の特性、既存のエコシステムとの相互運用性とのバランスを取ることが重要です。