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