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