Monads:seq和>> =之间有什么区别？

Question

有什么不同？是否seq保证更多的流动条件？

Answer 1

他们根本没有关系.

seq 有类型:

seq :: a -> b -> b

它被用来(作为seq a b或者a `seq` b)来评估a头部正常形式,这是一种奇特的说法,它强制对惰性值a进行一点评估.它与monads无关.

>>=用于测序monad.它有类型:

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

它用于从monadic值获取值并将其传递给返回另一个monadic值的函数.基本上是这样的:

getLine >>= putStrLn

这将从命令行获取一串输入,然后将其打印出来.

所以,基本上没有任何关系.