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