"Loại từ vựng" là gì và có bao nhiêu loại từ vựng?

Question

Across ngôn ngữ lập trình, tôi đã gặp phải tương tự composite types với tên gọi khác nhau:

1. Optional/Maybe
2. Any
3. Variant/Sum
4. Record/Product

Người ta thường sử dụng thuật ngữ loại từ vựng ,
nhưng tôi chưa bao giờ thấy định nghĩa về những gì tạo nên một loại "từ vựng".

Cụm từ này có định nghĩa không?
Loại lý thuyết và ngôn ngữ lập trình khác phải nói gì về các loại từ vựng?

Mọi thứ ở trên loại từ vựng phải không? Có nhiều hơn không?

Answer 1

Sự hiểu biết của tôi về từ vựng liên quan đến lập trình và loại từ vựng nói chung là một cái gì đó cung cấp cho các thuộc tính đối tượng nhất định với ý nghĩa được xác định rõ.

Dưới đây là một số ví dụ trong Haskell:

Cân nhắc Optional/Maybe loại và một hàm thuần túy mà mất HTTP trả lời của một máy chủ web và chiết xuất đang trả lời của.

getCode :: String -> Int 

Bây giờ giả sử khi chúng tôi chạy chức năng này, chúng tôi không biết liệu phản hồi có thành công hay không - mã có thể không có mặt. Làm thế nào để chúng tôi đại diện cho trường hợp khi mã bị thiếu? Chúng tôi có thể gán một số giá trị nhân tạo -1 hoặc 0 hoặc chúng ta có thể thay đổi toàn bộ loại chức năng như sau:

getCode :: String -> Maybe Int 

Ngoài Maybe hình thức một Monad, Functor, Applicative, Foldable và một loạt các typeclasses khác trong Haskell. Mỗi typeclass bổ sung thêm khả năng để thao tác giá trị trong câu hỏi trong khi tôn trọng sự hiện diện/vắng mặt của nó.

Product/Sum loại trong Haskell được biểu diễn dưới dạng cặp và Either a b. Một lần nữa - xác định một cái gì đó thông qua Product hoặc Sum thêm một nghĩa được xác định rõ ràng Product a b - cả hai giá trị phải có mặt, Sum a b - một giá trị phải có mặt và thêm một loạt các luật miễn phí.