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