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)