Category:関数型プログラミング
ラムダ計算
Lambda calculus関数型プログラミング
Functional programmingカリー化
Currying参照透過性
Referential transparency型推論
Type inference無名関数
Anonymous functionOption型
Option typeSECDマシン
SECD machineサイモン・ペイトン・ジョーンズ
Simon Peyton JonesF代数
F-algebraCatamorphism
CatamorphismFrenetic
Frenetic (programming language)CEK機械
CEK MachineNix (パッケージ管理システム)
Nix (package manager)始代数
Initial algebraモナド (プログラミング)
Monad (functional programming)型クラス
Type class高階関数
Higher-order function不動点コンビネータ
Fixed-point combinatorResult型
Result type代数的データ型
Algebraic data type