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