OCaml通過迭代列表更新值

Question

我想知道如何通過迭代列表來更新變量的值。例如，假設我想跟蹤列表的變量數量。我可以做類似

let list = [1;2;3;4;5] 
let length = 0 in 
    let getCount elmt = 
     length = length+1 in 
    List.iter getCount list 

，但我得到因爲length = length+1我比較使用=我這是有道理的錯誤This expression has type 'a -> bool。我應該如何更新長度值？

編輯：

我試圖

let wordMap = 
let getCount word = 
    StringMap.add word (1000) wordMap in 
List.fold_left getCount StringMap.empty wordlist;; 

，但它不知道什麼wordMap是getCount將功能...

Answer 1

@PatJ給出了一個很好的討論。但在真實的代碼中，您只需使用摺疊。摺疊的目的正是你所要求的，在遍歷列表時保持某種狀態（任何你喜歡的類型）。

學會用褶皺思考是功能編程的基本技能，所以值得學習。

一旦你擅長摺疊，你可以根據具體情況決定是否需要可變狀態。在幾乎所有情況下，你都不會。

爲什麼are'nt使用`List.length list`讓你列表的長度（你絕對可以使用摺疊積累的地圖，同時遍歷列表。）

Answer 2

如果目標是讓列表的長度，只需使用List Module提供的功能：List.length。否則，OCaml中的變量永遠不會變化，你要做的事情在OCaml中是非法的，並且根本不起作用。但是，如果您確實需要更新價值，請考慮使用ref（更多信息：http://www.cs.cornell.edu/courses/cs3110/2011sp/recitations/rec10.htm）。

Answer 3

你有幾種方法來做到這一點。

更簡單的方法（通常來自命令式世界的初學者首選）是使用參考。參考是一個可以合法變異的變量。

let length l = 
let count = ref 0 in 
let getCount _ = (* _ means we ignore the argument *) 
    count := !count + 1 
in 
List.iter getCount l; 
!count 

正如你可以看到這裏，!count在參考目前返回值和:=允許你做了必要的更新。

但你不應該編寫代碼

是啊，我用大膽的，我這是怎麼認真的。基本上，當你可以依靠純函數編程時，你應該避免使用引用。也就是說，當沒有副作用時。

那麼，如果你不允許你如何修改變量？這就是遞歸進來檢查這一點：

let rec length l = 
match l with 
| [] -> 0 
| _::tl -> 1 + length tl 

在該代碼中，我們不再有一個count變量。別擔心，我們很快就會收回。但是您可以通過再次調用長度來看到，我們可以爲參數l分配一個新值tl。但它是純粹的，被認爲是更好的做法。

好吧，差不多。

最後一個代碼存在遞歸問題：每次調用都會向堆棧中添加（無用的）數據，並在通過列表之後進行添加。我們不希望這樣。

但是，函數調用可以優化，如果他們是尾調用。作爲Wikipedia可以解釋給你聽：

尾調用是作爲 程序的最後執行的操作的子程序調用。

在後來的代碼，length遞歸調用不是尾呼叫作爲+是該函數的最後行動。通常的技巧是使用累加器來存儲中間結果。我們稱之爲count。

let rec length_iterator count l = 
match l with 
| [] -> count 
| _::tl -> length_iterator (count+1) tl 
in 
let length l = length_iterator 0 l 

現在我們有一個整潔，純粹且易於優化的代碼來計算列表的長度。

因此，要回答標題中所述的問題：使用（尾部）遞歸函數進行迭代，並將可更新變量作爲此函數的參數。