haskell - 为什么什么都没有>> Haskell 中只有 3 什么都不是？

Question

>> 的签名Haskell 中的函数是这样的:

(>>) :: m a -> m b -> m b

默认实现是:

x >> y = x >>= \_ -> y

据我了解， >>无论左侧参数的值如何，函数始终返回其右侧参数。 lambda 甚至不关心左侧参数 (x) 的值。那么，为什么是 Nothing >> Just 3等于 Nothing ?它不应该只是返回 Just 3 ，因为那是右边参数的值？

我知道任何 Just值，将返回 Nothing ，当与 Nothing 关联时, 但在这种情况下 Nothing甚至没有被 lambda 捕获。我错过了什么？

奖金问题， >>=称为绑定(bind)。什么是 >>叫？

谢谢。

Answer 1

因为绑定(bind)甚至不关心 lambda 的值是什么!

Just x  >>= f = f x
Nothing >>= _ = Nothing

注意 (Nothing >>=)不评估它的第二个参数。