Similar to 始代数
F代数
F-algebraCatamorphism
CatamorphismOption型
Option type型クラス
Type class型推論
Type inferenceモナド (プログラミング)
Monad (functional programming)F余代数
F-coalgebraアブストラクト・ナンセンス
Abstract nonsense共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)0
01
12
23
34
45
56
67
78
8▼-1 trends9
912345679
関数型プログラミング
Functional programmingCEK機械
CEK MachineFrenetic
Frenetic (programming language)GNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)Result型
Result typeSECDマシン
SECD machineカリー化
Currying