如何在OCaml中检查非空列表？列表求和循环实现报错求助

我正在学习OCaml函数式编程，想要实现一个返回列表元素总和的函数，打算使用while循环，但不知道如何编写非空列表的检查逻辑。写出的代码如下：

let sum_it (xs: int list) = 
   let j = ref 1 in
   let add x y = x+y in
   while xs <> [] do
      j := add !j hd ; 
      xs = tl done ;
   !j ;;

代码在j := add !j hd ;处报错，错误信息翻译为：

错误：该表达式类型为 'a list -> 'a，但需要的是int类型

错误原因分析 #

1. hd/tl的使用错误：hd和tl是接收列表参数的函数，直接把hd传给需要int类型的add函数会导致类型不匹配，这是报错的直接原因。必须传入具体列表，写成hd 当前列表才能取出元素。
2. 不可变变量的误用：OCaml中let绑定的变量是不可变的，循环里写xs = tl完全无效，无法更新列表状态。要跟踪遍历中的列表，得用引用来存储当前列表。
3. 初始值错误：总和初始设为1会导致空列表返回1，不符合求和逻辑，应该初始化为0。

修正后的代码 #

let sum_it (xs: int list) = 
   let current_list = ref xs in  (* 用引用保存当前待遍历的列表 *)
   let total = ref 0 in         (* 总和初始化为0 *)
   while !current_list <> [] do
      total := !total + List.hd !current_list;  (* 取当前列表的首元素加到总和 *)
      current_list := List.tl !current_list       (* 更新当前列表为尾列表，推进遍历 *)
   done;
   !total ;;

说明 #

• 用current_list引用跟踪遍历进度，每次循环后更新为原列表的尾部分，直到列表为空。
• 使用List.hd和List.tl（而非直接hd/tl）是更规范的写法，避免作用域冲突。
• 空列表会正确返回0，符合求和的预期行为。

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