OCaml语法错误求助：期望')'，疑似括号不匹配问题

问题代码与错误信息 #

编写的代码 #

let p_one : int ref = ref 1 ;;
let p_two() : int ref = ref 2 ;;
let p_three() : int ref = ref 3 ;;
let accumulate() ( p_one() , p_two() , p_three() : int ref*int ref*int ref ) : unit() =
    ( p_one() , ( !p_two() + !p_one() ) , ( !p_one() + !p_two() + !p_three() )) ;;

报错信息 #

OCaml解释器返回错误：Syntax error: ')' expected, the highlighted '(' might be unmatched（高亮的第三个'('疑似不匹配）

练习要求 #

定义3个可变整数变量one、two和three，编写一个类型为unit的表达式accumulate，通过累加值来更新这3个变量。执行该表达式后，变量one保持不变，变量two包含前两个值的和，变量three包含三个值的和。例如，若初始值分别为1、2、3，执行后值变为1、3、6。请用上述初始值测试该accumulate表达式。

错误原因解析 #

1. 函数参数语法违规：accumulate的参数写法完全不符合OCaml规则，错误混合了无参函数的()和元组模式，还在元组后错误添加类型标注，直接导致括号匹配失败。
2. 可变变量定义错误：p_two()和p_three()被定义为函数，每次调用都会生成新的ref实例，而非固定的可变变量，违背练习要求。
3. 未执行引用更新：函数体仅返回计算后的元组，未使用:=操作符更新ref变量的值，无法达到修改变量的目的。
4. 类型标注错误：unit()不是合法的OCaml类型，正确的unit类型应为unit。

正确实现方案 #

定义可变变量 #

let one = ref 1
let two = ref 2
let three = ref 3

实现accumulate函数 #

let accumulate () =
    let one_initial = !one in
    let two_initial = !two in
    two := one_initial + two_initial;
    three := one_initial + !two + !three

测试验证 #

在OCaml解释器中执行以下代码：

accumulate ();;
!one;;   (* 输出：1 *)
!two;;   (* 输出：3 *)
!three;; (* 输出：6 *)

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