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的更多相关信息。