Similar to F代数
Catamorphism
Catamorphism
始代数
Initial algebra
モナド (プログラミング)
Monad (functional programming)
F余代数
F-coalgebraアブストラクト・ナンセンス
Abstract nonsense
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
関数型プログラミング
Functional programming
CEK機械
CEK MachineFrenetic
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
