名義型別系統 在計算機科學中如果一個類型系統是名義的nominal也稱為名稱基礎的namebased則數據類型的兼容性和等價性是通過明確地宣告和或類型的名稱來決定的稱之為名義型別系統英語nominal type system名義系統用於決定類型是否相等以及一個類型是否為另一個類型的子類型名義類型系統與結構系統英语structural systems相對後者基於類型的結構進行比較不需要明確宣告