任何人都可以弄清楚如何测试这个OCAML函数吗?

Question

我正在为考试编写练习卷，但没有答案。 有一系列函数，我必须解释它们的作用，但有一个我无法解决：fun x -> fun y -> (x y);;它具有以下类型：('a -> 'b) -> 'a -> 'b我应该怎么做？

Answer 1

试试这个大小：

let () =
Printf.printf "The ans is: %d" ((fun x -> fun y -> (x y)) (fun x -> x + 10) 4133)