haskell - 关于 Haskell 中的 'pseq'

Question

考虑以下两个陈述:

(a `par` b) `pseq` (a + b)

和

a `par` (b `pseq` (a + b))

有人可以解释他们的行为有何不同吗？

对于第一个，如果主线程完成了计算 b但 Spark 计算 a还没结束，主线程会继续计算 a + b ?

Answer 1

par a b语义上等价于 b , 但它暗示开始评估 a 可能有用早期的。另一方面pseq强制对其第一个参数进行评估，但只是其第二个参数中的(惰性)恒等函数。

所以，

(a `par` b) `pseq` (a + b)

在语义上等价于

b `pseq` (a + b)

这相当于

a `par` (b `pseq` (a + b))

因为两者都说“评估 b然后成为thunk a + b”。鉴于 par 的后果不精确从语言定义中看不出其他差异。相反，在您的特定编译器/运行时，它们可能会做一些稍微不同的事情。