為什么haskell評估a >> b？

Question

haskell中Monads的>>運算符通常定義為

(>>) :: m a -> m b -> m b
a >> b = a >>= \_ -> b

它可以用來打印像

main = putStr "foo" >> putStrLn "bar"

為什么編譯器沒有優化putStr "foo"的值而只評估putStrLn "bar" ？ 它不需要它，為什么要計算呢？

Answer 1

正如克里斯所說，這取決於monad。 Identity或Reader不會評估>>前面的部分，因為它們不需要它來計算結果。 其他monad，如Writer ， Maybe ， Either ， State或IO會。

我們以Maybe為例。 >>=定義為

Nothing  >>= _  = Nothing
(Just x) >>= f  = f x

所以，如果我們擴展>>我們得到

Nothing  >> _  = Nothing
(Just x) >> y  = y

所以Maybe必須評估>>前面的內容，看看結果是否為Nothing或y 。

IO是以某種方式有目的地定義的，以便評估操作是否需要其結果（否則將無法使用）。

Answer 2

咦？ 當然它需要putStr "foo"的值。 它在>>=進行評估 - 只有動作的結果被拋棄，而不是動作本身，如果你想將monads視為動作。

例如，在解析器中，這意味着丟棄剛剛解析的序列 - 但它仍然被解析，因此光標仍然向前移動。

Answer 3

這取決於monad。 在IO中進行評估。 在Identity中，第一個未評估：

> import Control.Monad.Identity
> import Control.Monad.Trace
> let x = trace "x" $ return () :: Identity ()
> let y = trace "y" $ return () :: Identity ()
> runIdentity $ x >> y
y
()