理解 `evaluate` 函数答案

【问题标题】：Understanding `evaluate` Functiion理解 `evaluate` 函数
【发布时间】：2016-07-04 02:54:35
【问题描述】：

Haskell docs 解释evaluate 函数：

在执行结果 IO 操作时，强制将其参数评估为弱头正常形式。

Prelude Control.Exception> let xs = [1..100] :: [Int]                                                                   Prelude Control.Exception> :sprint xs
xs = _
Prelude Control.Exception> let ys = evaluate xs
Prelude Control.Exception> :t ys
ys :: IO [Int]
Prelude Control.Exception> ys
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,6Prelu2,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100]
Prelude Control.Exception> :sprint xs
xs = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
      24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,
      46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,
      68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,
      90,91,92,93,94,95,96,97,98,99,100]
Prelude Control.Exception> :sprint ys
ys = _

为什么ys 不是弱头范式，即:sprint ys 不等于_ : _？

【问题讨论】：

标签： haskell lazy-evaluation ghci operator-precedence

【解决方案1】：

您的ys 值的类型为IO [Int]。现在，IO 是一种抽象类型，在您的情况下可以被认为是RealWorld -> ([Int], RealWorld)。现在这个IO 值已经处于弱头正常形式。这就是为什么当您在其上执行sprint 时将其视为_。

为什么ys 不是弱头范式，即:sprint ys 不等于_ : _？

ys 外部项不能是_ : _，因为它不是列表，而是IO [Int] 类型的值。

【讨论】：

【解决方案2】：

除了 Sibi 所说的之外，还有一种方法可以看到 evaluate 确实按照文档所说的进行：

GHCi> let xs = [1..100] :: [Int]
GHCi> :sprint xs
xs = _
GHCi> let a = evaluate xs >> return ()
GHCi> a
GHCi> :sprint xs
xs = 1 : _

【讨论】：