関数型プログラミング
関数を組み合わせる手法。
関数型プログラミング(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の数学的基礎を提供します。モナドは純粋言語で副作用を処理します。代数的データ型とパターンマッチングは型安全なコードを可能にします。