Haskell是惰性语言，为何`>>`运算符仍能正常执行？

核心区别在于纯函数的惰性求值和Monad（尤其是IO Monad）的动作执行语义是完全两码事：

1. 先搞懂IO动作的本质 #

print "hi"不是一个已经执行了输出的结果，它是一个IO ()类型的值——可以理解为一个"待执行的动作描述"。你可以把它想象成一条指令："当你运行我时，输出'hi'，然后返回一个空单元"。

2. >> 是Monad的绑定操作，不是纯函数 #

看>>的定义：

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

这里的关键是>>=（Monad绑定）的语义：对于IO Monad来说，x >>= f的意思是先执行x这个动作，拿到它的结果，再把结果传给f得到下一个动作，最后执行这个新动作。

在>>的场景里，f是\_ -> y——不管x的结果是什么，下一个动作都是y。但重点是：x的动作必须先执行，这是IO Monad绑定的硬规则，和惰性求值无关。

所以print "hi" >> return "end"的行为是：

• 先执行print "hi"这个动作，输出"hi"
• 然后执行return "end"这个动作（它的作用是把"end"包装成IO值，没有副作用）
• 最终返回IO "end"类型的值，当这个值被程序的主入口触发（比如在GHCi里直接运行），整个序列就会执行，你就看到了输出。

3. 纯函数skip遵循惰性求值规则 #

skip _ r = r是一个纯函数，它的第一个参数是IO ()类型，但纯函数的参数只有在被实际使用的时候才会被求值。这里第一个参数被_忽略了，Haskell的惰性求值就不会去处理它——也就是说，print "hi"这个动作描述根本没被触发执行，自然不会有输出，函数直接返回第二个参数"end"。

4. 本质总结 #

• 惰性求值是Haskell对纯值的求值策略：能不求值就不求值，用的时候再算。
• Monad的>>=（以及>>）是动作序列的编排规则：对于IO这种有副作用的Monad，绑定操作的语义就是按顺序执行动作，不管后续是否用到前一个动作的结果。这是Monad设计用来处理副作用的核心逻辑，和纯函数的惰性规则不冲突——因为Monadic值本身是"动作描述"，而绑定操作就是触发这些动作的执行流程。

内容的提问来源于stack exchange，提问作者Yajo