Các trường "phụ thuộc" của Haskell trong một bản ghi?

Question

Tôi đã có những kỷ lục sau đây định nghĩa:

data Option = Option { 
    a :: Maybe String, 
    b :: Either String Int 
} deriving (Show) 

Liệu có cách nào cho tôi để thực thi khi một là Nothing, b phải là một Left và khi a là Just, b phải là một Right? Có thể với các loại ma, hay cái gì khác? Hoặc tôi phải quấn toàn bộ thứ bên trong của một hoặc làm cho nó Either String (String, Int)?

Answer 1

Bạn chỉ nên sử dụng hai nhà xây dựng cho hai hình thể:

data Option = NoA String | WithA String Int 

Tất nhiên, bạn nên cung cấp cho chúng những cái tên tốt hơn, dựa trên những gì mà họ đại diện. Các loại Phantom chắc chắn là quá mức cần thiết ở đây và tôi khuyên bạn nên tránh Either - Left và Right không phải là các tên của hàm tạo bản dựng.

Nếu nó làm cho tinh thần để giải thích cả Hoặc chi nhánh của trường b là đại diện cho cùng một dữ liệu, sau đó bạn cần xác định một chức năng phản ánh cách giải thích này:

b :: Option -> MeaningOfB 
b (NoA s) = ... 
b (WithA t n) = ... 

Nếu bạn có các lĩnh vực mà ở lại không cùng cho dù lựa chọn là gì, bạn nên tạo một kiểu dữ liệu mới với tất cả chúng, và đưa nó vào cả hai hàm tạo. Nếu bạn làm cho mỗi hàm tạo một bản ghi, bạn có thể cung cấp cho trường chung cùng tên trong mọi hàm tạo, để bạn có thể trích xuất nó từ bất kỳ giá trị Option nào mà không cần phải khớp mẫu trên đó.

Về cơ bản, hãy suy nghĩ về những gì nó có nghĩa là cho chuỗi không có mặt: nó thay đổi gì về các trường khác và những gì vẫn giữ nguyên? Bất cứ thay đổi nào cũng nên đi vào các nhà thầu tương ứng; bất cứ điều gì vẫn như cũ nên được nhân tố ra thành loại riêng của nó. (Đây là một nguyên tắc thiết kế tốt nói chung!)

Nếu bạn đến từ nền OOP, bạn có thể nghĩ về điều này với lý do thay vì thừa kế - nhưng cố gắng không lấy tương tự quá xa.