Trực giác của một loại tùy chọn như Maybe Intlà không có Int (do đó, Nothingcó) hoặc có một số Int; có một cái gì đó ở đó
Nó có ý nghĩa với tôi rằng chúng ta gọi hàm tạo kiểu cho trường hợp "phủ định" Nothing, vì nó có nghĩa chính xác là - không Intcó ở đó. Nhưng tại sao lại sử dụng từ Chỉ trong trường hợp nhấn mạnh vào một cái gì đó thực sự ở đó ?
Đối với tôi, từ "Chỉ" mang ý nghĩa rằng thứ mà nó mô tả ít hơn từ thay thế; sự đối lập của một cái gì đó thực sự ở đó; ví dụ,
A: Tối nay bạn có làm gì không?
B: Không; Tôi chỉ sẽ nghỉ và TV của đồng hồ.
A: Bạn đã điều tra những âm thanh ma quái đáng sợ xung quanh nhà bạn?
B: yeah, hóa ra nó thực sự chỉ là một con cú.
Rõ ràng tôi không có bất kỳ trực giác nào mà lựa chọn đặt tên này dựa trên. Nó là gì? Bởi vì với tôi, từ Chỉ có nghĩa ngược lại với cách nó được sử dụng trong Maybeloại.
Maybenhư một đơn nguyên, họ có thể sẽ sử dụng returnvà có thể là một cái gì đó giống như mzerothay vì Nothing. Khi Justđược sử dụng trực tiếp, thường Maybekhông được sử dụng theo kiểu đơn nguyên tại thời điểm đó.
Optionloại. Các nhà thiết kế của Haskell có lẽ cảm thấy rằng foo x = Just x"đọc" tốt hơn foo x = Some x. Tương tự, định nghĩa data Maybe a = Just a | Nothingđọc khá tốt là " Maybe alà Just ahoặc là Nothing". Someđọc hợp lý tốt ở đó, nhưng Nonekhông cho data Option a = Some a | None.