是否可以创建一个在 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 或lazy中做到这一点？

Answer 1

function arguments 的求值顺序是语言语义的一部分（目前OCaml中没有规定），不能更改。

通常情况下，每当 function 参数的评估顺序开始变得重要时，这表明有太多松散的全局可变状态并且您想要加强对可变状态的控制。

例如，如果您需要对全局 state 强制执行严格的突变顺序，常见的解决方案是使用 state monad，或者更热切的变体，如

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 

这实质上使您能够定义自己如何评估 state

foo x >>= bar x

Answer 2

另一种解决方案可能不太方便，因为它需要更多的重构，是使用 OCaml discord 上@Null 建议的一些lazy运算符：

let (+++) a b = let lazy b = b in a + b
let (!!!) (lazy a) = a
let _ = !!! (lazy (printf "%d%!" 1;1)) +++ lazy (printf "%d%!" 2;2) +++ lazy (printf "%d%!" 3;3) +++ lazy (printf "%d%!" 4;4)

1234