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