Hệ thống kiểu danh định

Trong khoa học máy tính, hệ thống kiểu danh định (tiếng Anh: nominative type system) hay hệ thống kiểu dựa trên tên''' (name-based type system'') là một lớp quan trọng của hệ thống kiểu, mà sự tương thích và tương đương của kiểu dữ liệu được xác định bởi các khai báo rõ ràng và/hoặc tên của kiểu. Hệ thống danh định được dùng để xác định nếu kiểu tương đương, cũng như nếu kiểu là kiểu con của một kiểu khác. Nó trái ngược với hệ thống kiểu cấu trúc, mà so sánh dựa trên cấu trúc của kiểu được đề cập mà không đòi hỏi khai báo rõ ràng.

Xem thêm 
 Hệ thống kiểu cấu trúc
 Kiểu trừu tượng
 Hệ thống kiểu

Ghi chú 
 , section 19.3

Tham khảo

Liên kết ngoài 
 c2.com: Nominative and structural typing

Hệ thống kiểu