在OCaml中使用列表作爲函數的參數

Question

我目前正在嘗試學習OCaml。我正在尋找的這個Python代碼相當於：

f(*l[:n]) 

我想我會嘗試寫模仿此行爲的功能，但它不能正常工作。下面是代碼：

let rec arg_supply f xs n = 
    if n = 0 then 
     f 
    else 
     match xs with 
     | x :: remainder -> arg_supply (f x) remainder (n - 1);; 

，這裏是錯誤消息我得到：

Error: This expression has type 'a but an expression was expected of type 
'b -> 'a 
The type variable 'a occurs inside 'b -> 'a 

任何幫助表示讚賞，無論是一個辦法讓我的功能工作，或另一種方式來提供第一列表中的n個元素作爲參數。

編輯：n是調用該函數所需的參數數量，並且因爲它而不變。

編輯：這一個也不工作。取決於n值

type ('a, 'r) as_value = ASFunction of ('a -> ('a, 'r) as_value) | ASReturnValue of 'r;; 

let rec _arg_supply f_or_rval xs n = 
    if n = 0 then 
     f_or_rval 
    else 
     match f_or_rval with 
     | ASFunction func -> (
      match xs with 
       | x :: r -> _arg_supply (func x) r (n - 1) 
       | _ -> failwith "too few arguments for f" 
     ) 
     | ASReturnValue out -> out;; 

Answer 1

你的Python功能f正在傳遞的參數不同的號碼，。這在OCaml中不能表達。函數需要一個靜態固定數量的參數（即，您可以通過閱讀源代碼來了解參數的數量）。

將不同數量的參數傳遞給OCaml函數的方法是傳遞一個對應於Python代碼f(l[:n])的列表。

（這是更準確的說，一個OCaml的函數有一個說法，但這是另一次的討論。）

更新

如果n實際上是一個常數，讓我們說這是3然後你可以這樣做以下：

match l with 
| a :: b :: c :: _ -> f a b c 
| _ -> failwith "too few arguments for f" 

更新2

下面是看看你想要做什麼的另一種方法。你想編寫一個函數，我們稱之爲apply，即是這樣的：

let apply f xs = 
    . . . 

的想法是，apply調用函數f，給它從列表xs參數。

OCaml是一種強類型語言，所以我們應該能夠給出f和xs的類型。什麼是f的類型？您希望它是n參數的函數，其中n是xs的長度。即，n不是一個常數！但OCaml中沒有這種類型。任何函數類型都有一個固定的靜態數量的參數。由於f沒有OCaml類型，因此不能編寫函數apply。您可以編寫一系列功能apply1，apply2等等。請注意，每個功能都有不同的類型。如果你不介意爲每個不同的功能f調用正確的，那就行了。

很有可能你可以重構你的問題來處理OCaml的輸入而不是掙扎。我堅持我對強打字的評論：一旦你習慣了強打字，很難放棄好處，回到少打（或不打打）輸入支持的語言。