2012-12-03 16 views
4
let (++) f g x = f (g x) in 
    let f x = x + 1 in 
    let g x = x * 2 in 
    (f++g) 1;; 
  1. 上述表達是否正確?
  2. 在我看來,上面的代碼應該像定義f++g x = 2 * x + 1一樣。我對麼?

回答

4

你執行功能組合物的是正確的,因爲:(X)=克根據

(克∘F)(F(X))對於所有的x在X

wikipedia

我得到:

- : int = 3 

in ocamlktop