pseq可以用seq来定义吗？

Posted 2021-03-31

据我所知，seq a b在返回a之前评估（强制）b和b。它不保证首先评估a。

pseq a b首先评估a，然后评估/返回b。

现在考虑以下内容：

xseq a b = (seq a id) b

函数应用程序需要首先计算左操作数（以获得lambda形式），并且在进入函数之前不能盲目地评估右操作数，因为这会违反Haskell的非严格语义。

因此，(seq a id) b必须首先评估seq a id，这迫使a和id（在一些未指定的顺序（但评估id什么都不做）），然后返回id b（这是b）;因此xseq a b在a之前评估b。

xseq是pseq的有效实现吗？如果没有，上面的论点有什么问题（根据pseq可以定义seq）？

答案

答案似乎是“不，至少没有额外的魔力”。

这个问题

xseq a b = (seq a id) b

是编译器可以看到seq a id的结果是id，这在任何地方都是严格的。如果函数是严格的，则允许函数应用程序首先计算参数，因为这样做不会改变表达式的语义。因此，优化编译器可以首先开始评估b，因为它知道它最终将需要它。