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