OCaml中能否定义类似a.(n)<-v的三参数自定义运算符？

首先明确：OCaml无法通过常规方式自定义你想要的a.(n)<-v或a[b<-c]这类特殊语法，原因如下：

1. a.(n)<-v是内置语法，不可扩展 #

a.(n)<-v是OCaml硬编码的数组赋值语法，直接对应Array.set a n v，属于语言内置的特殊结构，并非通用的可自定义运算符。OCaml允许自定义的运算符仅包括：

• 二元中缀运算符（如+、*>）
• 前缀运算符（如!、~-）
• 后缀运算符（如!，需结合优先级规则）
  这类运算符都是一元或二元的，不存在可自定义的“三元运算符”语法，更无法复用.(n)<-这种内置的数组赋值语法结构。

2. a[b<-c]不属于合法基础语法 #

OCaml中[...]的用途固定（比如列表字面量、模式匹配中的列表解构等），不存在[x<-y]这种语法形式，自然也无法通过自定义运算符来实现该写法。

替代实现方案 #

如果需要类似的功能，只能通过常规函数或变通的运算符设计来模拟：

方案1：普通柯里化函数 #

直接定义三元函数，调用时用常规函数语法：

let my_set a idx value = 
  (* 你的赋值逻辑，比如针对自定义容器的修改 *)

调用示例：my_set my_container 5 "new_val"

方案2：结合元组的中缀运算符 #

如果想贴近“类似赋值”的写法，可以把后两个参数打包成元组，定义二元中缀运算符：

let (<--) container (idx, value) =
  (* 实现逻辑 *)

调用示例：my_container <-- (3, "updated")

方案3：语法扩展（ppx） #

如果一定要追求自定义语法，只能通过OCaml的ppx预处理扩展来实现，但这需要编写额外的语法转换代码，复杂度较高，适合有一定OCaml元编程经验的场景。

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