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