如何在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

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