Similar to 関数型プログラミング
ショーラ・アーマ
Shola Amaノーマン・アーマー
Norman Armourアーマー県
County Armaghアーマード・コア
Armored Core (video game)アーマード・コア2
Armored Core 2アーマード・コアV
Armored Core VARMORED CORE VERDICT DAY
Armored Core: Verdict Dayアーマード・コア ネクサス
Armored Core: Nexusアーマード・セイント
Armored Saintハワード・アーマン
Howard Armanハンス・アールマン
Hans Wilhelmsson Ahlmannアラン・アームストロング (俳優)
Alun Armstrong50
50 (number)1200
1200 (number)1868
Catamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)Option型
Option typeResult型
Result typeSECDマシン
SECD machine型クラス
Type class型推論
Type inferenceカリー化
Currying高階関数
Higher-order function