"|" là gì? cho một định nghĩa lớp Haskell?

Question

tôi không thể tìm ra những gì "| m -> w" -part nghĩa trong một định nghĩa lớp như thế này:

class (Monoid w, Monad m) => MonadWriter w m | m -> w 

gì thông tin bổ sung thực hiện điều này thêm vào các định nghĩa lớp học?

Answer 1

Thanh dọc là bộ tách cú pháp không có ý nghĩa, được sử dụng để introduce functional dependencies trên lớp loại nhiều tham số, do đó, kỹ thuật | có nghĩa là không có gì. Có lẽ | được chọn làm tương tự trực quan cho việc sử dụng cùng một biểu tượng cho pattern guards trên các hàm.

Theo như sự phụ thuộc chức năng tự đi, chỉ cần đọc x -> y là "kiểu tham số x duy nhất xác định loại hình tham số y", nghĩa là biết x một mình là đủ để tìm ra ví dụ chính xác. Có thêm các biến chứng, đặc biệt là với các phần mở rộng GHC khác được kích hoạt, nhưng hầu hết thời gian bạn không cần phải lo lắng về chúng.

Ngược lại, không phụ thuộc chức năng, việc chọn một thể hiện của một loại kiểu đa tham số yêu cầu phải biết tất cả các tham số kiểu. Một ví dụ điển hình có một tham số là một loại vùng chứa và một tham số thứ hai là loại phần tử chứa; các hàm như "concatenate" hoặc "isEmpty" không cần đề cập đến loại phần tử, chỉ loại vùng chứa và do đó sẽ không rõ ràng.

Ngoài ra, nếu bạn đang viết các lớp loại của riêng mình, hãy xem xét thay vì sử dụng type families, đây là một cách tiếp cận mới mà cuối cùng có thể thay thế các phụ thuộc chức năng. Nói chung, các gia đình nhập cho phép bạn viết các định nghĩa loại bị quá tải bên trong một cá thể, không chỉ các hàm bị quá tải.

Answer 2

Chỉ định số functional dependency.