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

Question

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

Answer 1

可以通过references完成:

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

首选无副作用的解决方案，因为它们更易于推论和确保正确性。