Similar to Catamorphism
F代数
F-algebra
始代数
Initial algebra
モナド (プログラミング)
Monad (functional programming)
射 (圏論)
Morphism
群準同型
Group homomorphism
自己同型
Automorphism
関数型プログラミング
Functional programming
CEK機械
CEK Machine
Frenetic
Frenetic (programming language)GNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Option型
Option type
Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous functionラムダ計算
Lambda calculusエピ射
Epimorphism核 (圏論)
Kernel (category theory)
加法的写像
Additive map
環準同型
Ring homomorphism
