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