爲什麼這些值重置爲0？

Question

我正在試圖爲沒有參數的函數實現定期記憶。

let mutable superVersion = 1 

type Memoize() = 
    member this.m f = 
     let cache = ref 0 
     let version = ref 0 
     let returnValue() = 
      if !version = superVersion then 
       !cache 
      else 
       System.Console.WriteLine(!cache) 
       cache := f() 
       System.Console.WriteLine(!cache) 
       version := superVersion 
       !cache 
     returnValue() 

let simpleFunction() = 10 + 5 // Could be some mutable data here 
let aFunction() = 
    let Mem = new Memoize() 
    let myFunc() = simpleFunction() + 1 
    Mem.m myFunc 

這個想法很簡單。當數據進入這個程序時，superVersion增加1.這樣，所有的函數都必須重新計算，但是隻有當新的數據進入時。之後很多後面的函數可以建立在早期的函數上，並且不會重新計算以前的函數。這樣，沒有必要的事件。

現在我非常新的編程，特別是F＃。所以我不知道，將這些函數堆疊在一起會導致堆棧溢出或其他問題？

我想要做的就是數據研究，而不必擔心使用事件或事物以正確的順序計算事物。有點像excel除了excel更進一步，只有當鏈接中的前一個單元格（依賴關係）發生變化時才計算。

所以我希望能得到關於這個問題的一些信息。然而，現在到主要問題：

當我然後調用函數（），版本和緩存得到計算，然後重置爲0.您可以看到我已經放置了2個控制檯writelines。第一個值是0，第二個是16.再次調用函數（不改變superVersion），我得到完全相同的結果，而不是在兩個都得到16。爲什麼高速緩存重置爲0？

非常感謝。

編輯：就像我選擇讓我知道答案，我真的忘了什麼功能做。他們在使用時稱他們的身體。所以一切都在他們重置。我太專注於他們應該實施課程的地方。

爲我想要做會去這樣的事情是什麼的正確實施：

type Cell(f) = 
    let mem = Memoize() 
    let _Value() = mem.m f 
    member this.Value = _Value() 

現在，每一個功能，或者我打電話，現在，細胞。我只是創建一個新的單元格實例，並通過我想要的計算（一個函數）。現在因爲我在一個類中，Memoize（）只創建一次，其狀態被保存。使用新的執行Memoize在約翰帕爾默的答案中看到。然而我改變了我最初選擇的可變參考。我認爲這樣更有效率。

Answer 1

每次調用函數時，變量被重置 - 你需要給他們的功能外移至像

type Memoize() = 
    let cache = ref 0 
    let version = ref 0 
    member this.m f = 

     let returnValue() = 
      if !version = superVersion then 
       !cache 
      else 
       System.Console.WriteLine(!cache) 
       cache := f() 
       System.Console.WriteLine(!cache) 
       version := superVersion 
       !cache 
     returnValue()