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