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