Hệ thống kiểu danh định
(Đổi hướng từ Nominal type system)
Bản mẫu:Hệ thống kiểu 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
[sửa | sửa mã nguồn]Ghi chú
[sửa | sửa mã nguồn]- Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1., section 19.3