Similar to Nullable型
利用者:Deer hunter/二輪車の動力学
DES
DES
DF-3 (ミサイル)
DF-3A
DHLアビエーション
DHL Aviation
Dicer
Dicer
Template:Disability
Template:Disability sidebarDishevelled
Dishevelled
利用者:Distart
Template:Divisor classes
Template:Divisor classes
DMARC
DMARC
型理論
Type theorySystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
共変性と反変性 (計算機科学)
Type varianceサブタイピング (計算機科学)
Subtyping
始代数
Initial algebra住性 (型理論)
Type inhabitation
順序対
Ordered pair
新基礎集合論
New Foundations
数学的構造
Mathematical structureダック・タイピング
Duck typing
