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