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