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