在this教程中,我找到了以下代码段:
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
我无法弄清楚>>=
函数应该如何工作。首先,它需要Maybe a
值作为其第一个参数:deposit 100 account >>=
然后,它似乎将a -> Maybe a
作为其第一个参数:withdraw 200 >>=
这怎么可以被编译器批准?不应该>>=
始终将Maybe a
作为其第一个参数吗?
如果>>=
函数的优先顺序可以通过以下方式工作,则可能的解决方案是:((a >>= b) >>= c) >>= d
但据我所知,情况正好相反:a >>= (b >>= (c >>= d))
答案 0 :(得分:14)
据我所知,情况相反:
a >>= (b >>= (c >>= d))
都能跟得上。
GHCi> :i >>=
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
...
-- Defined in `GHC.Base'
infixl 1 >>=
infixl
表示它是左关联的,所以a >>= b >>= c >>= d ≡ ((a >>= b) >>= c) >>= d
。
如果是infixr
,它实际上没有多大意义,是吗? >>=
总是返回一个monad,它的RHS采用一个函数。因此,与>>=
链接的任何一元表达式链都在(->) r
monad中,这几乎不是最有用的。