能否在OCaml中定义按左到右顺序求值的运算符？

OCaml默认对函数参数采用严格求值且从右到左的顺序，所以自定义中缀运算符如(++)时，foo a ++ bar b会先计算bar b再计算foo a。以下是几种实现左到右求值的方案：

1. 用Thunk（无参函数）手动控制求值顺序 #

通过将右侧参数包装成无参函数（thunk），延迟其求值时机，在运算符内部先计算左侧表达式，再调用thunk获取右侧值：

(* 定义运算符，右侧参数为thunk *)
let (++) a b_thunk = a :: b_thunk ()

(* 调用时将右侧表达式封装为thunk *)
let v = foo a ++ (fun () -> bar b)

这样会先执行foo a，再调用fun () -> bar b计算右侧值，保证左到右的求值顺序。

2. 用Lazy模块实现延迟求值 #

和thunk思路类似，利用Lazy模块封装右侧参数，在运算符内部先计算左侧，再强制求值右侧：

open Lazy

(* 定义运算符，右侧为lazy值 *)
let (++) a b_lazy = a :: force b_lazy

(* 调用时用lazy包裹右侧表达式 *)
let v = foo a ++ lazy (bar b)

lazy (bar b)会创建一个未求值的延迟值，直到force被调用时才计算bar b，而左侧的foo a会先被求值。

3. 用PPX自动重写表达式 #

如果不想手动修改调用语法，可以编写PPX扩展，在编译阶段将e1 ++ e2自动转换为let e1' = e1 in let e2' = e2 in e1' ++ e2'的形式，从而保证左到右求值。

以下是一个简单的PPX实现示例（基于ppxlib）：

open Ppxlib

(* 重写表达式：识别(++)运算符调用，转换为let绑定形式 *)
let rewrite_expr = function
  | Pexp_apply (Pexp_ident { txt = Lident "++"; _ },
                [ (Nolabel, e1); (Nolabel, e2) ]) ->
      let e1_var = gen_symbol ~prefix:"left" () in
      let e2_var = gen_symbol ~prefix:"right" () in
      [%expr let [%p pat_var (mknoloc e1_var)] = [%e e1] in
             let [%p pat_var (mknoloc e2_var)] = [%e e2] in
             [%e evar e1_var] ++ [%e evar e2_var]]
  | expr -> expr

(* 注册PPX转换 *)
let () =
  Driver.register_transformation
    ~impl:(map_structure (map_expression rewrite_expr))
    "ppx_left_right_ops"

使用该PPX处理代码后，foo a ++ bar b会被自动转换为带let绑定的形式，无需手动修改调用代码即可实现左到右求值。

注意事项 #

OCaml的参数求值顺序是语言层面的固定规则，无法直接通过修改运算符的优先级或结合性改变——优先级仅影响表达式的解析结构，不影响参数的求值顺序。因此，要么手动延迟右侧求值，要么通过PPX做语法重写。

内容的提问来源于stack exchange，提问作者Butanium