関数型プログラミング

関数を組み合わせる手法。

関数型プログラミング(FP)は、関数を適用・合成してプログラムを構築するパラダイムです。関数は第一級市民です。

基本原則:
1. 純粋関数:同じ入力は常に同じ出力、副作用なし
2. 不変性:データは作成後変更されない
3. 高階関数:関数を受け取るまたは返す関数
4. 再帰:ループより優先

        graph LR
  Center["関数型プログラミング"]:::main
  Rel_object_oriented_programming["object-oriented-programming"]:::related -.-> Center
  click Rel_object_oriented_programming "/terms/object-oriented-programming"
  Rel_procedural_programming["procedural-programming"]:::related -.-> Center
  click Rel_procedural_programming "/terms/procedural-programming"
  Rel_agile_methodology["agile-methodology"]:::related -.-> Center
  click Rel_agile_methodology "/terms/agile-methodology"
  classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
  classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
  classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
  classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
  linkStyle default stroke:#4b5563,stroke-width:2px;

      

🧠 理解度チェック

1 / 1

🧒 5歳でもわかるように説明

f(x) = x + 2のような数学関数を想像してください。3を入れると常に5が得られます。関数型プログラミングはコードが数学のように動くことを意味します—信頼性があり、驚きがない!

🤓 Expert Deep Dive

ラムダ計算(チャーチ、1930年代)はFPの数学的基礎を提供します。モナドは純粋言語で副作用を処理します。代数的データ型とパターンマッチングは型安全なコードを可能にします。

📚 出典