lẽ đơn nguyên function bind ưu tiên

Question

Trong this hướng dẫn, tôi đã tìm thấy các đoạn mã sau:

deposit :: (Num a) => a -> a -> Maybe a 
deposit value account = Just (account + value) 

withdraw :: (Num a,Ord a) => a -> a -> Maybe a 
withdraw value account = if (account < value) 
         then Nothing 
         else Just (account - value) 

eligible :: (Num a, Ord a) => a -> Maybe Bool 
eligible account = 
    deposit 100 account >>= 
    withdraw 200 >>= 
    deposit 100 >>= 
    withdraw 300 >>= 
    deposit 1000 >> 
    return True 

main = do 
    print $ eligible 300 -- Just True 
    print $ eligible 299 -- Nothing 

tôi không thể tìm ra cách các chức năng >>= là nghĩa vụ phải làm việc. Lúc đầu, giá trị Maybe a là tham số đầu tiên: deposit 100 account >>=

Sau đó, có vẻ như tham số đầu tiên: withdraw 200 >>= Làm cách nào để trình biên dịch này có thể chấp thuận? Không nên >>= luôn lấy Maybe a làm thông số đầu tiên?

Một giải pháp có thể sẽ là nếu ưu tiên các >>= chức năng của sẽ làm việc theo cách sau: ((a >>= b) >>= c) >>= d

Nhưng như xa như tôi biết, nó là ngược lại: a >>= (b >>= (c >>= d))

Answer 1

như xa như tôi biết , đối diện: a >>= (b >>= (c >>= d))

không.

GHCi> :i >>= 
class Monad m where 
    (>>=) :: m a -> (a -> m b) -> m b 
    ... 
    -- Defined in `GHC.Base' 
infixl 1 >>= 

infixl có nghĩa là liên kết bên trái, vì vậy a >>= b >>= c >>= d ≡ ((a >>= b) >>= c) >>= d.

Nó sẽ không thực sự có ý nghĩa nhiều nếu nó là infixr, phải không? >>= luôn trả về một đơn nguyên, và RHS của nó có chức năng. Vì vậy, trong bất kỳ biểu thức monoic nào được liên kết với >>= sẽ nằm trong đơn vị (->) r, vốn không phải là biểu tượng hữu ích nhất.