ocaml - 如何在 OCaml 中保存和更改变量的值？

Question

这可能是一个非常新手的问题，但我没有找到答案。我需要存储，例如一个列表，然后在同一个指针下用另一个替换它。

Answer 1

它可以通过参考来完成：

let fact n =
  let result = ref 1 in (* initialize an int ref *)
  for i = 2 to n do
    result := i * !result (* reassign an int ref *)
   done;
  !result

您不会经常看到引用，因为您可以在递归或高阶函数中使用不可变值来做同样的事情：

let fact n =
   let rec loop i acc =
      if i > n then acc
      else loop (i+1) (i*acc) in
   loop 2 1

无副作用的解决方案是首选，因为它们更容易推理并且更容易确保正确性。