Similar to 型クラス
値 (計算機科学)
Value (computer science)
カインド (型理論)
Kind (type theory)
型消去
Type erasure
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
共変性と反変性 (計算機科学)
Type variance住性 (型理論)
Type inhabitation
順序対
Ordered pair
新基礎集合論
New Foundations
数学的構造
Mathematical structureダック・タイピング
Duck typing
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (high-level programming)
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principle
型システム
Type systemTemplate:型システム
Template:Type systems
Template:Computer-stub
Template:Compu-stub
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)