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