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