OCaml：没有定义值的柯里化

Question

我有两个函数 f 和 g，我试图返回 f(g(x)) 但我不知道 x 的值，而且我不太确定如何处理这个问题。

更具体的例子：如果我有函数 f = x + 1 和 g = x * 2 并且我试图返回 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>

每个，'a，'b，'c 都是抽象类型；我们不关心它们是什么，只需要在定义上保持一致即可（因此，g 的定义域必须在 f 的范围内）。

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