Nghĩa chính
- Một cách ngôn ngữ lập trình phân loại các giá trị và biểu thức thành các loại (kiểu dữ liệu), cách nó có thể thao tác với các loại đó và cách chúng tương tácdanh từA way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact.
Dạng từ (word form)
theo quy tắc (regular)- type systemDạng gốc (base form)
- type systemsSố nhiều (plural)
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| Common Type Systemdanh từ riêng | danh từ riêng | Tập hợp các kiểu dữ liệu phổ biến cho tất cả các ngôn ngữ .NET và có thể được chia sẻ qua CLI |
| name-based type systemdanh từ | danh từ | Đồng nghĩa với nominative type system |
| nominal type systemdanh từ | danh từ | Đồng nghĩa với nominative type system |
| unified type systemdanh từ | danh từ | Khái niệm về các loại ngôn ngữ máy tính trong đó loại nguyên thủy có thể hỗ trợ các phương thức và đóng gói, nhưng chỉ các loại tham chiếu mới hỗ trợ các phương pháp và chuyên môn hóa ảo |
| nominative type systemdanh từ | danh từ | Hệ thống kiểu chính trong đó tính tương thích và tương đương của các kiểu dữ liệu được xác định bằng các khai báo rõ ràng hoặc tên của các kiểu |
| Hindley-Milner type systemdanh từ | danh từ | Hệ thống kiểu cổ điển dành cho phép tính lambda với tính đa hình tham số, đáng chú ý vì tính hoàn chỉnh và khả năng suy ra kiểu tổng quát nhất của một chương trình nhất định mà không cần chú thích kiểu do lập trình viên cung cấp hoặc các gợi ý khác |
Họ từ (word family)
Từ liên quan (related word)
Ví dụ
- OCaml’s “ ,” Word’s , , won’t .