如何在列表理解中正确使用 seq？ [复制]

Question

我试图在列表推导中使用seq 来强制评估生成的元素，但:sprint 告诉我我的列表实际上没有被评估。例如：

Prelude> let foo a b = a + b
Prelude> let bar c = c + 1
Prelude> let lst = [bar $ foo x y | y <- [0..9], x <- [0..9]]
Prelude> :sprint lst
lst = _
Prelude> seq lst ()
()
Prelude> :sprint lst
lst = _

但其他人的map 似乎工作正常：

Prelude> let xs = map (+1) [1..10] :: [Int]
Prelude> :sprint xs
xs = _
Prelude> seq xs ()
()
Prelude> :sprint xs
xs = _ : _

为什么我的seq 不起作用？

Answer 1

你没有给 lst 一个具体的类型，所以对于 ghci，它是一个新的 instance/value 每次你使用它（GHCi 会选择一个 default 类型它）

如果您没有更改任何内容，您甚至应该会看到如下警告：

<interactive>:19:1: warning: [-Wtype-defaults]
    • Defaulting the following constraints to type ‘Integer’
        (Show a0) arising from a use of ‘print’ at <interactive>:19:1-10
        (Num a0) arising from a use of ‘it’ at <interactive>:19:1-10
        (Enum a0) arising from a use of ‘it’ at <interactive>:19:1-10
    • In a stmt of an interactive GHCi command: print it

添加:: [Int]，它应该可以工作：

> let foo a b = a + b
> let bar c = c + 1
> let lst = [bar $ foo x y | y <- [0..9], x <- [0..9]] :: [Int]
> :sprint lst
lst = _
> seq lst ()
()
> :sprint lst
lst = _ : _

---

我喜欢将 泛型类型 视为具有额外的 invisible 参数：类型参数的类型 - 所以它更像是一个函数而不是一个值；）（当然实际上它并不完全像这样，但它可以帮助我解决这样的问题）

---

编辑 @dfeuer 指出有关参数/不可见函数的评论可能具有误导性甚至是错误的。

遗憾的是，我不能声称我真的知道 GHCi 是如何处理这个问题的（当我找到来源时，我很乐意添加一些东西），但到目前为止，我的直觉是，在所有 字典之前，GHCi 确实/不能创造价值 类型类约束是已知的 - 所以如果没有约束，它可以并且将创建值（在运行时没有类型，所以这没问题）。

在上面的例子中，隐含的Num 约束（0、1、9 和 +）需要这样一个 字典 用于所涉及的 Num 实例输入。