Similar to 型推論
Option型
Option type型クラス
Type class依存型
Dependent type始代数
Initial algebra代数的データ型
Algebraic data type無名関数
Anonymous functionサブタイピング (計算機科学)
Subtyping抽象データ型
Abstract data typeデータ型
Data type変数 (プログラミング)
Variable (computer science)型システム
Type systemTemplate:データ構造
Template:Data structures10.5インチiPad Pro
11インチiPad Pro (第1世代)
11インチiPad Pro (第2世代)
11インチiPad Pro (第3世代)
12.9インチiPad Pro (第1世代)
IPad Pro (1st generation)12.9インチiPad Pro (第2世代)
IPad Pro (2nd generation)12.9インチiPad Pro (第3世代)
IPad Pro (3rd generation)12.9インチiPad Pro (第4世代)
IPad Pro (4th generation)12.9インチiPad Pro (第5世代)
IPad Pro (5th generation)1349
1349 (band)1680
1048576
関数型プログラミング
Functional programmingCatamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)