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