Template:型システム

型システム
主要カテゴリ
静的型付け vs 動的型付け強い vs 弱い明示的 vs 型推論名前的 vs 構造的ダックタイピング
マイナーカテゴリ
部分型再帰型部分構造型依存型漸進的型付けフロータイピング潜在的型付け
型理論のコンセプト
直積型 - 直和型交差型 - 共用型単一型 - 選択型帰納型 - 精製型トップ型 - ボトム型函数型 - 商型全称型 - 存在型一意型 - 線形型

隠しカテゴリ: