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