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