Đây có thể là một câu hỏi rất đơn giản.
Nhưng sự khác biệt giữa các loại và loại là gì?
Hiểu biết hiện tại của tôi là bạn có một lý thuyết loại với các quy tắc loại đưa ra khái niệm về một câu lệnh được gõ tốt nhưng các loại là cơ bản hơn, phân biệt các ký hiệu thành các loại ký hiệu khác nhau và đưa ra các quy tắc cơ bản về ứng dụng chức năng, v.v.
Có lẽ có rất ít sự khác biệt, có lẽ họ chỉ đến từ các lĩnh vực khác nhau. Nhưng tôi dường như không thể tìm thấy một mô tả rõ ràng về mối quan hệ của họ.
kind
là loại của hàm tạo kiểu hoặc, ít phổ biến hơn, là loại toán tử loại bậc cao hơn.