錯誤：未綁定值需要

Question

我正在學習ocaml，並且我正在嘗試編寫簡單的函數，它打印出第一個作爲參數int的第一個。

我已經寫了：

let rec take(number, lista)= 
    let rec take_acc(number, lista, acc)= 
     match number with 
      | 0 -> [] 
      | number < 0 -> [] 
      | number > lista.length -> lista 
      | number < lista.length -> take_acc(number-1, lista.tl, acc@lista.head);; 
    take_acc(number, lista, []) 

let listas = 1 :: 2 :: 3 :: 4 :: 5 :: 6 :: [];; 
take(2,listas);; 

的一點是，上面給出的代碼給我錯誤：

Error: Unbound value take 

我做錯了嗎？

的一點是，此代碼：

let xxl = 11 :: 33 :: 54 :: 74 :: [];; 
let rec take2 (ile,xxx) = 
if ile=0 || ile<0 then [] 
else 
if ile>(List.length xxl) then take2(ile-1,xxx) 
else 
List.hd xxx :: take2(ile-1,List.tl xxx);; 

哪裏是區別beetwen這兩個程序？

編輯： 由於傑弗里斯科菲爾德的建議，我已經寫了這樣的事情：

let rec take2(ilosc, lista) = 
    let rec take_acc(ilosc, lista, acc) = 
     if ilosc = 0 || ilosc < 0 then [] 
     else 
     if ilosc > List.length lista 
      then lista 
     else 
      take_acc(ilosc-1, lista.tl, acc@lista.hd);; 

let listas = 1 :: 2 :: 3 :: 4 :: 5 :: 6 :: [];; 
take2(2,listas);; 

還是一樣。

Answer 1

您的代碼在語法上沒有形成良好。所以它不可能達到說明沒有定義的問題。

要解決的第一件事就是使用模式。構造number < 0不是一個模式，它是一個布爾表達式。你可以有一個布爾值作爲使用when模式的一部分：

| _ when number < 0 

然而，這並不是格外的好作風爲要測試的內容。在您的測試中使用if可能會更好。

接下來要解決的問題可能是您使用lista.length。獲取OCaml中列表長度的方法是List.length lista。