Question

我正在尝试找出惰性评估的工作原理，并且尝试如下：

Prelude> a = [1,2,3,5,6]
Prelude> b = map (\x -> x * 8) a
Prelude> :sprint b
b = _
Prelude> b
[8,16,24,40,48]
Prelude> :sprint b
b = _

问题是，为什么最后一行没有显示评估列表？我之前评估过一条线。

Answer 1

因为对于某些b，Num a基本上是从[a]字典到a的函数。如果这是具体类型，那么它将与您预期的一样：

let a Prelude> let a = [1..4] :: [Int]
Prelude> let b = map (*8) a
Prelude> :sprint b
b = _
Prelude> b
[8,16,24,32]
Prelude> :sprint b
b = [8,16,24,32]

编辑

并排出现，希望会更加明显：

Prelude> let a = [1..4]
Prelude> :t a
a :: (Num a, Enum a) => [a]
Prelude> let poly_b = map (*8) a
Prelude> let concrete_b = map (* (8 ::Int)) a
Prelude> :sprint poly_b
poly_b = _
Prelude> :sprint concrete_b
concrete_b = _
Prelude> poly_b
[8,16,24,32]
Prelude> concrete_b
[8,16,24,32]
Prelude> :sprint poly_b
poly_b = _
Prelude> :sprint concrete_b
concrete_b = [8,16,24,32]

编辑2：在我看来，REPL的单态性限制或缺乏这种限制可能会引起一些混乱。在已编译的代码中，let语句中的值将采用单个具体类型，而不是多态的，因此根本没有这个“问题”：

Prelude> :set -XMonomorphismRestriction
Prelude> let a = [1..4]
Prelude> let b = map (*8) a
Prelude> :sprint b
b = _
Prelude> b
[8,16,24,32]
Prelude> :sprint b
b = [8,16,24,32]

为什么它不显示为已评估？

1 个答案: