可選參數不能被刪除？

Question

我想要一個List.map的尾遞歸版本，所以我寫了我自己的。那就是：

let rec list_map f l ?(accum=[])= 
    match l with 
     head :: tail -> list_map f tail ~accum:(head :: accum) 
    | [] -> accum;; 

每當我編譯這個功能，我得到：

File "main.ml", line 69, characters 29-31: 
Warning X: this optional argument cannot be erased. 

的tutorial說，這意味着，我試圖創建不帶非可選參數的函數。但上面的函數顯然採用非可選參數。

我可能只是在做一些非常愚蠢的事情，但是什麼？

Answer 1

以前的解決方案可以編譯，但不會給出預期的結果。函數f從不應用於參數。正確的代碼是：

let rec list_map f ?(accum = []) l = match l with 
    | head :: tail -> list_map f ~accum:(f head :: accum) tail 
    | [] -> accum;; 

推斷出的類型是：

val list_map : ('a -> 'b) -> ?accum:'b list -> 'a list -> 'b list = <fun> 

...對比的錯誤之一：

val list_map : 'a -> ?accum:'b list -> 'b list -> 'b list = <fun> 

---

請注意，這個結果清單逆轉：

# list_map ((**) 2.) [1.;2.;3.;4.];; 
- : float list = [16.; 8.; 4.; 2.] 

...和等於函數rev_list from the List module：

# List.rev_map ((**) 2.) [1.;2.;3.;4.];; 
- : float list = [16.; 8.; 4.; 2.] 

---

所以，你可能想改變你的函數爲：

let rec list_map f ?(accum = []) l = match l with 
    | head :: tail -> list_map f ~accum:(f head :: accum) tail 
    | [] -> List.rev accum;; 

...這應該是尾遞歸以及（根據手冊）並以原始順序返回列表：

# list_map ((**) 2.) [1.;2.;3.;4.];; 
- : float list = [2.; 4.; 8.; 16.] 

Answer 2

您需要一個非可選參數後可選一個。 只要改變你的函數的參數的順序：

let rec list_map f ?(accum=[]) l= 
    match l with 
    head :: tail -> list_map f ~accum:(head :: accum) tail 
    | [] -> accum;; 

Answer 3

呀你非可選參數不能爲過去的，因爲自OCaml的支持部分應用程序，缺少一個最後的可選參數的函數將只是看起來像一個部分應用函數仍在尋找可選參數。告訴你不打算提供可選參數的唯一方法是它看到你已經提供了一個參數。

如果你有最後擁有它，你可以以後它把虛擬unit說法：

let rec list_map f l ?(accum=[])() = 
    match l with 
     head :: tail -> list_map f tail ~accum:(head :: accum)() 
    | [] -> accum;; 

但在這種情況下，耶改變順序會更好。