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