sml - SML 中的函数应用程序评估顺序是否具有确定性？

Question

在 OCaml 中，函数应用程序的评估顺序是未指定的(又名非确定性的)。

在标准机器学习中，它也是非确定性的还是确定性的？您能否提供对规范部分进行澄清的引用？

编辑:对于那些稍后来的人，我还了解到，与 SML 一样，在 F# 中，顺序是指定且确定的——不像 OCaml，考虑到两者在语法上的接近程度，OCaml 更加疯狂。如果你经常在它们之间切换，很容易忘记。

Answer 1

是的，评估规则(Definition 的第 6.7 节)完全指定了 SML 的所有构造的评估顺序，并且始终按文本顺序排列。对于应用程序，首先计算函数表达式，然后计算参数(例如规则 102)。类似地，记录(以及元组)从左到右进行评估(规则 92/95)。

总之，这意味着例如f(a,b)(c,d)按顺序评估 f , a , b , f(...) , c , d , g(...) ，其中 g是 f(...) 的结果.