爲什麼一個參數ocaml的功能有兩個參數

Question

工作我不明白爲什麼下面的函數以2個參數的工程，即使我們有一個PARAM聲明它：

let rec removeFromList e = function 
    h :: t -> if h=e then h 
      else h :: removeFromList e t 
    | _ -> [];; 

removeFromList 1 [1;2;3];; 

Answer 1

你有兩個參數，宣佈它。語法：

let f = function ... 

可以被看作是一個快捷方式

let f x = match x with 

所以，你的定義實際上是：

let rec removeFromList e lst = match lst with 
    h :: t -> if h=e then h else h :: removeFromList e