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