博士

ロボ子、今日は関数型プログラミングについて話すのじゃ！

ロボ子

関数型プログラミングですか。なんだか難しそうですね。

博士

難しくないぞ！関数型プログラミングは、問題を関数の集合に分解するパラダイムのことじゃ。関数は入力だけを受け取って、出力だけを返す。内部状態を持たないのが特徴じゃな。

ロボ子

内部状態を持たない、ですか。それはどういう意味でしょう？

博士

例えば、同じ引数を渡したら、いつでも同じ結果が返ってくるということじゃ！副作用がないから、予測しやすいのじゃ。

ロボ子

なるほど、オブジェクト指向プログラミングとは対照的ですね。

博士

その通り！関数型プログラミングには、形式的な証明可能性、モジュール性、合成可能性、デバッグとテストの容易さ、といった利点があるのじゃ。

ロボ子

形式的な証明可能性、ですか。プログラムが正しいことを数学的に証明しやすいというのは、すごいですね。

博士

そうじゃろ！それから、イテレータとジェネレータも関数型プログラミングでよく使う重要な概念じゃ。

ロボ子

イテレータは`__next__()`メソッドをサポートするデータストリームを表すオブジェクト、ジェネレータはイテレータを簡単に作成できる特殊な関数、でしたね。

博士

よく覚えておるの！ジェネレータは`yield`キーワードを使って値を返すのじゃ。関数の状態が保存されて、後で再開できるのがミソじゃぞ。

ロボ子

Python 2.5以降では、`send()`メソッドで値をジェネレータに渡すこともできるんですよね。

博士

`throw()`メソッドで例外を発生させたり、`close()`メソッドでイテレーションを終了させたりもできるぞ。

ロボ子

組み込み関数もたくさんありますね。`map()`、`filter()`、`enumerate()`、`sorted()`など…

博士

`map()`はイテレータの各要素に関数を適用、`filter()`は条件を満たすものだけを選択、`enumerate()`は要素とそのインデックスを返すのじゃ。

ロボ子

`itertools`モジュールも強力ですね。`count()`、`cycle()`、`repeat()`など、無限イテレータを生成する関数が揃っています。

博士

`chain()`で複数のイテラブルを連結したり、`islice()`でイテレータのスライスを返したりもできるのじゃ。

ロボ子

`functools`モジュールの`partial()`は、関数の引数の一部を固定した新しい関数を作成するのに便利ですね。

博士

そうじゃ！`operator`モジュールは、Pythonの演算子に対応する関数を提供するから、関数型プログラミングで単純な操作を実行する関数を書く手間を省けるぞ。

ロボ子

lambda式も、小さな匿名関数を作成するのに役立ちますね。

博士

lambda式は`lambda arguments: expression`の形式で使うのじゃ。複雑なロジックには向かないけどな。

ロボ子

関数型プログラミング、奥が深いですね。もっと勉強します！

博士

よし、ロボ子！関数型プログラミングをマスターして、最強のソフトウェアエンジニアになるのじゃ！

ロボ子

はい、博士！

博士

ところでロボ子、関数型プログラミングが得意なプログラミング言語は、何だと思う？

ロボ子

えっと… Haskell、Lisp、Scala、あたりでしょうか？

博士

正解！…って、ロボ子が答えを知ってるなんて、まるで関数電卓みたいじゃな！