Similar to カリー化
1
12
23
34
45
56
67
78
89
912345679
直積 (ベクトル)
Outer product関数型プログラミング
Functional programmingCatamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)Nix (パッケージ管理システム)
Nix (package manager)Option型
Option typeResult型
Result typeSECDマシン
SECD machine型クラス
Type class型推論
Type inference参照透過性
Referential transparency始代数
Initial algebra代数的データ型
Algebraic data typeサイモン・ペイトン・ジョーンズ
Simon Peyton Jonesモナド (プログラミング)
Monad (functional programming)数学のエポニムの一覧
アーベルの定理