haskell - 为什么 foldr 对 Haskell 中的元组不懒惰

Question

可以这样写:

head $ foldr (:) [] [1..]
-- 1

但是当我尝试处理元组时，它会进入无限循环:

head . fst $ foldr (\ x (ls, _) -> (x : ls, 0)) ([], 0) [1..]

我需要这个的原因是因为我想在内部函数中传递生成元素的计数。像那样:

foldr go ([], 0) [1..]
go num (ls, cnt) = -- use cnt to get l and produce new pair (l : ls, cnt + 1)

Answer 1

模式匹配默认是严格的。那是，

(\(x,y) -> (1:x,y)) _|_ = _|_

您可以使用 ~ 使用惰性模式匹配模式，虽然:

(\ ~(x,y) -> (1:x,y)) _|_ = (1:_|_, _|_)