haskell - 正常/应用订单减少

Question

在评估函数应用方面，Haskell 是只支持普通降阶还是也支持应用降阶？我是否认为正常顺序是 Haskell 惰性的原因？

Answer 1

GHC 运行时不使用术语缩减策略，因为那会非常低效。事实上，GHC 是一个合适的编译器，将 STG 机器作为其运行时的抽象机器。

尽管如此，它仍然实现了与正常降序相同的语义——即非严格语义。

仍然可以强制对某些参数进行求值，如下所示:

foo x y = x `seq` actualFoo x y

上面，x 被立即评估，而 y 不是。

其他常见的等效模式:

foo x y | seq x False = undefined
foo x y = actualFoo x y

-- or, with a GHC extension

foo !x y = actualFoo x y