Ưu tiên của ~ là gì và tại sao?

Question

Đoạn sau biên dịch:

{-# LANGUAGE TypeFamilies #-} 
type family Foo a b 

f :: (Foo a b ~ Int) => a -> b -> b 
f = error "" 

nhưng ghi vào loại nhà khai thác dường như hành xử khác nhau:

{-# LANGUAGE TypeFamilies #-} 
type family a \\ b 

f :: (a \\ b ~ Int) => a -> b -> b 
f = error "" 

GHC phàn nàn rằng đối số thứ hai để \\ nên có loại *, nhưng b ~ Int có loại Constraint . Tất nhiên điều này có thể được cố định với parens, nhưng tôi tự hỏi nếu có một cách khác.

tôi đã cố gắng thiết lập các ưu tiên của các nhà điều hành của tôi với việc kê khai tính cố định infixl 9 \\, nhưng điều đó không giải quyết vấn đề, chỉ ra rằng ưu tiên của ~ là at least 9 (nếu tôi giải thích rằng chính xác). Tôi đã thử sử dụng mẹo từ this answer để làm cho GHCi cho tôi biết mức độ ưu tiên của ~, nhưng nó không hoạt động.

Về mặt kỹ thuật, ~ lẽ không phải là một nhà điều hành loại, đó là chi tiết của một cấu trúc từ vựng tương tự như ,, nhưng câu hỏi vẫn đứng:

1. Tại sao ghi vào và tiền tố nhà khai thác hiện hành vi khác nhau?
2. Tại sao ~ liên kết chặt chẽ?
3. Có điều gì tôi có thể làm để làm cho các toán tử của riêng tôi gắn kết chặt chẽ hơn nữa không?

(Lưu ý: This question hỏi về các ưu tiên của các chức năng loại, nhưng nó không nói bất cứ điều gì về ~.)

Answer 1

~ không phải là một nhà điều hành, đó là một từ khóa, như module hoặc case, vì vậy Tôi nghĩ bạn chỉ có thể thay đổi ưu tiên bằng cách sử dụng dấu ngoặc đơn.

Xem thêm ở đây: https://wiki.haskell.org/Keywords#.7E