如何保存并更改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 

你看不到的引用非常频繁，因为你可以使用里面递归或高阶功能不变的价值观做同样的事情：

​​

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