是否可以创建一个在 OCaml 中从左到右计算参数的运算符

Question

当您定义一个运算符时，例如

let (++) a b = a :: b 

当你这样做时

let v = foo a ++ bar b 

bar 在 foo 之前评估。解决方法是使用 let 表达式，即

let e1 = foo a in let e2 = bar b in e1 ++ e2

然而，有时定义一个运算符会很方便，例如它总是从左到右进行计算。有没有办法在 OCaml 中或使用 ppx 或 with 来做到这一点lazy？

Answer 1

函数参数的计算顺序是语言语义的一部分（目前 OCaml 中未指定），您无法更改它。

通常，每当函数参数的求值顺序开始重要时，就表明存在太多松散的全局可变状态，并且您希望加强对可变状态的控制。

例如，如果您需要在全局状态上强制执行严格的突变顺序，常见的解决方案是使用状态单子，或者更急切的变体，例如

type context (* all of your previous global state should fit here *)
type 'a data_and_context = context * 'a
type 'a m = context -> 'a data_and_context
val (>>=): 'a m -> ('a -> 'b m) -> 'b m 

这本质上使您能够定义自己如何评估状态

foo x >>= bar x