为何无法在Haskell函数调用链中执行print函数？

核心问题 #

你的代码里print "abc"没执行，本质是两个Haskell特性的叠加：

• 惰性求值与WHNF：seq (print "abc") "zzz"里的seq仅要求第一个参数求值到弱头范式（WHNF）。print "abc"是IO动作（类型IO ()），它的WHNF就是动作本身，不会触发实际打印操作——seq只是确保这个动作存在，但不会运行它。
• IO动作必须在IO上下文执行：整个main的结构是print $ ...，后面的计算是纯函数式的，最终产出Just (39,40,41,"zzz")。而print "abc"是孤立的IO动作，没有被嵌入到IO monad的执行流程中，Haskell不会自动执行未绑定到IO上下文的IO操作。

修正示例 #

要让print "abc"生效，需要把计算放到IO上下文里，用do块或IO绑定操作来触发IO动作：

getNext n = Just (n + 1)
app1 (Just a) f = f a
app2 !a f = f a

main = do
    result <- app1 (getNext 38) (\x ->
              app1 (getNext x) (\y ->
              app2 (print "abc" >> return "zzz") (\w ->
              app1 (getNext y) (\z ->
              return (Just (x,y,z,w))))))
    print result

这里把seq (print "abc") "zzz"替换成print "abc" >> return "zzz"，确保print "abc"先执行，再返回"zzz"；同时用do块的<-提取结果，让整个流程处于IO上下文，触发所有IO操作。

另外，你代码里的app2 !a f = f a虽然加了严格标记!，但求值a到WHNF仅会得到"zzz"，不会触发print——因为print只是seq的第一个参数，求值到WHNF不涉及IO动作的执行。

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