関数型プログラミング
計算を純粋関数の合成として表現するパラダイム。可変状態も副作用もなく、値が変換を通って流れていく。
中核となる考え方は、純粋関数、第一級関数、イミュータビリティ、ループの代わりの再帰、そして高階関数（map、filter、reduce）。静的型付けのFP言語（Haskell、OCaml、Elm）はこの線引きが厳格で、動的な言語（Clojure、Elixir）はより実用的だ。
影響はあらゆる場所に及ぶ。Java のラムダ、C# の LINQ、JS の Stream、React のフック、Rust の Iterator などだ。「関数型のコア、命令型のシェル」というパターンは、FP言語でなくても現代のアーキテクチャで支配的になっている。