Ưu tiên Haskell: Lambda và nhà điều hành

Question

Tôi thấy ưu tiên và khả năng kết hợp là một trở ngại lớn đối với tôi để hiểu ngữ pháp đang cố gắng thể hiện ở cái nhìn đầu tiên về mã haskell.

Ví dụ,

blockyPlain :: Monad m => m t -> m t1 -> m (t, t1) 
blockyPlain xs ys = xs >>= \x -> ys >>= \y -> return (x, y) 

Bằng cách thử nghiệm, cuối cùng tôi đã nhận nó có nghĩa là,

blockyPlain xs ys = xs >>= (\x -> (ys >>= (\y -> return (x, y)))) 

thay vì

blockyPlain xs ys = xs >>= (\x -> ys) >>= (\y -> return (x, y)) 

Những công trình như:

*Main> blockyPlain [1,2,3] [4,5,6] 
[(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)] 

Tôi có thể lấy thông tin từ ghci cho (>> =) làm toán tử, (infixl 1 >> =).

Nhưng không có thông tin cho -> vì đó không phải là toán tử.

Có thể ai đó trong số các bạn đưa ra một số tham chiếu để làm cho điều ngữ pháp này dễ nắm bắt hơn không?

Answer 1

Quy tắc cho lambdas khá đơn giản: phần thân của lambda mở rộng càng xa càng tốt mà không nhấn dấu ngoặc đơn không cân bằng.

f (\x -> foo (bar baz) *** quux >>= quuxbar) 
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 
         body 

Answer 2

Một nguyên tắc chung có vẻ là bạn không bao giờ có thể làm toán tử tùy chỉnh được ưu tiên hơn xây dựng trong cấu trúc cú pháp. Ví dụ xem xét ví dụ sau:

if b then f *** x else f *** y 

Bất kể kết hợp của ***, không ai mong chờ nó với phím tắt như:

(if b then f *** x else f) *** y 

Không có rất nhiều cấu trúc cú pháp trong Haskell (do và case hơi đặc biệt do cú pháp bố cục) nhưng có thể sử dụng let làm ví dụ khác:

(let x = y in y *** x) /= ((let x = y in y) *** x)