Similar to 始代数
F代数
F-algebra
Catamorphism
Catamorphism
Option型
Option type
型クラス
Type class
型推論
Type inference
モナド (プログラミング)
Monad (functional programming)
F余代数
F-coalgebraアブストラクト・ナンセンス
Abstract nonsense
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
12345679
関数型プログラミング
Functional programming
CEK機械
CEK MachineFrenetic
Frenetic (programming language)GNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Result型
Result type
SECDマシン
SECD machine
カリー化
Currying
