関数呼び出し間で値を保持するOCaml変数

Question

OCamlには、関数呼び出しの間に値を保持する関数内の変数がありますか？すべての関数呼び出しで同じオブジェクトへの参照であるPythonsのデフォルト引数のように動作する必要があります。そうでない場合は、明示的に値を返す必要はありません。その効果は次のようになります（関数が自然数を返す場合）：

foo();; 
0 
foo();; 
1 

Answer 1

はいこれが可能です。あなたはクロージャの外部ローカルrefを定義し、その値にアクセスし、それを閉鎖がそうのように使用されるたびに変更する必要があります

let foo = 
    (* local variable x *) 
    let x = ref 0 in 
    (* the closure that will be named foo *) 
    fun() -> let r = !x in 
      x := r+1; r