関数型プログラミング概念

関数型プログラミング（FP）は、プログラムを数学的な関数の合成として記述するパラダイムだ。オブジェクト指向との対立軸として語られることもあるが、現代では「関数型のコンセプトをオブジェクト指向言語で活用する」スタイルが実用的な選択として広まっている。JavaScriptやTypeScriptはマルチパラダイム言語であり、FPのコンセプトを部分的に採用しやすい。

純粋関数とは同じ入力に対して常に同じ出力を返し、副作用を持たない関数だ。参照透過性が保証されると、テストが容易になり、実行順序を気にせず合成できるようになる。不変性（Immutability）は状態の変化を追跡する必要をなくし、予期しない変更による不具合を防ぐ。JavaScriptではconst・Object.freeze()・スプレッド演算子・immerライブラリなどを使って不変スタイルを実現できる。

副作用（DBアクセス・APIコール・ログ出力など）は必ず存在するが、純粋なロジックと副作用を発生させるコードを分離することで、ロジックのテスタビリティが格段に上がる。Option/Maybe・Either/Resultモナドはエラーや欠損値を型として表現し、null参照例外や例外フローの散在を防ぐ。関数合成とパイプライン演算子（|> またはRamdaのpipe/compose）は複数の変換を読みやすい形で連結する。

コードレビューで着目するポイント

ロジックと副作用が適切に分離されているか（コアのビジネスロジックに副作用が混入していないか）
配列操作でmutable操作（push・splice等）を使っていないか（mapやfilterやreduceで代替できないか）
共有された可変状態（shared mutable state）がないか
エラーをnull返しやthrowで処理する代わりにResult型で表現できないか
複数の小関数を合成するかわりに、一つの大関数に手続きが詰め込まれていないか
anyやキャストを使わずに型安全なパイプラインを構築しているか
副作用を閉じ込めるための構造（UseCase層・Adapter層等）が設計されているか

典型的なアンチパターン

副作用の隠蔽: 見た目が純粋な関数の内部でグローバル変数を書き換えたり外部APIを呼んだりする。呼び出し側がその副作用を知らないまま関数を合成するため、予期しない動作が生じる。

過度なモナド連鎖: EitherやOptionのネストが3層4層になり、コードが元の命令型より難読化する。FPは手段であり目的ではなく、チームの習熟度に合わせた採用量が重要だ。

配列のin-place変更: Array.prototype.sort()がin-placeソートであることを忘れ、元の配列を意図せず変更する。FP的には[...arr].sort()と明示的にコピーする。

参考リソース

Kyle Simpson『Functional-Light JavaScript』（Leanpub）— JavaScript向けFP入門
Scott Wlaschin『Domain Modeling Made Functional』（The Pragmatic Bookshelf、2018）
fp-ts https://gcanti.github.io/fp-ts — TypeScriptのFPライブラリ
Effect-TS https://effect.website — 副作用管理・エラー処理・依存性注入を型安全に
Ramda https://ramdajs.com — 関数型スタイルのJavaScriptユーティリティ