OCaml：没有定义值的卷曲

Question

我有两个函数f和g，我试图return f(g(x))但我不知道x的价值，我不知道如何去做这件事。

更具体的例子：如果我有功能f = x + 1和g = x * 2和我试图return f(g(x))我应该等于(x*2) + 1

Answer 1

看起来你是不是正确的，f(g(x))应该正常工作的功能。我不知道为什么你有一个return关键字（它不是ocaml中的关键字）。这里是一个正确的版本，

let compose f g x = f (g x) 

这种类型定义是，

val compose : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c = <fun> 

每个， '一个，' B“，c是抽象类型;我们不在乎它们是什么，它们只需要在定义中保持一致（因此，g的域必须在f的范围内）。

let x_plus_x_plus_1 = compose (fun x -> x + 1) (fun x -> x * 2)