OCaml的 - 給類型的函數（INT - > INT） - > INT

Question

我完全失去了對這個。有人解釋說，功能是正確的，所以let add x y = x + y;;有一個函數類型int -> int -> int或int -> (int -> int)。

我不知道我怎麼會定義(int -> int) -> int類型的函數。我想我會有第一個參數是一個函數，通過int並返回int。我已經試過：

let add = fun x y -> x + y --- int -> int -> int

let add = fun f x = (f x) + 3 --- ('a -> int) -> 'a -> int

Answer 1

什麼

let eval (f: int -> int) :int = f 0 

？

Answer 2

fun x -> (x 1) + 1;; 
- : (int -> int) -> int = <fun> 

或

let foo f = (f 1) + 1;; 
val foo : (int -> int) -> int = <fun> 

它就像

foo (fun x -> x + 1);; 
- : int = 3 

Answer 3

您的問題是高度的Currying概念相聯繫。

但在此之前，讓我說，如果你要編寫需要一個參數是一個函數的函數，你可以聲明一個正常的功能，只需使用其參數的功能等。沒有必要使它複雜化。參見例如：

let f x = x(10) + 10 

現在來了咖喱部分。在OCaml中，參數在語義上每次只評估一個參數，在評估一個參數之後，返回一個匿名函數。這很重要，因爲它可以讓你提供函數的部分參數，有效地創建一個新函數（稱爲部分應用程序）。

在下面的示例中，我使用+作爲函數（運算符周圍的括號將其轉換爲正常函數），以創建增量函數。並將其應用於之前的f函數。

let incr = (+) 1 
f incr 

的代碼評估爲f incr = incr(10) + 10 = 21

這link有適用於OCaml的更多相關信息。