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▲1 trends
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
関数型プログラミング
Functional programming
CEK機械
CEK MachineFrenetic
Frenetic (programming language)Nix (パッケージ管理システム)
Nix (package manager)Result型
Result type
SECDマシン
SECD machine
カリー化
Currying
高階関数
Higher-order function
