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