为什么 map 不强制严格，而 zipWith 却强制严格？

Question

zipWith 函数有两个严格版本：

1）真正严格，列表 l1 和 l2 的元素被评估，因此它们的 thunk 不会占用所有堆栈空间（Don Stewart 代码）

zipWith' f l1 l2 = [ f e1 e2 | (e1, e2) <- zipWith k l1 l2 ]
            where
                k x y = x `seq` y `seq` (x,y)

2）不是真正严格，尝试通过其他方式强制评估。

zipWith'' f l1 l2 = [ f e1 e2 | (e1, e2) <- zip (map (\x -> x `seq` x) l1) (map (\x -> x `seq` x) l2) ]

问题是：为什么第二个示例中使用 map 的等效代码不会使函数也变得严格？

Answer 1

这是一个常见的错误，使用

x `seq` x

Which 完全等同于

x

Neil Mitchell 中提供了很好的解释发布于“不严格”。

Answer 2

可以使用此函数来强制列表，而不是同义反复的 map：

evl []     = []
evl (x:xs) = x `seq` (x:evl xs)
-- Cannot figure out how to do this with fold.

那么严格的 zipWith 是

zipWith''' f xs ys = zipWith f (evl xs) (evl ys)