以函数作为参数定义函数

Question

我目前正在尝试定义类型为（'a->'a）->'a->'a的函数，该函数接受类型为'a->'a的函数和类型为'a的参数，并两次调用该函数论据。 我是OCaml的新手，但我确实知道如何定义函数，但是我对试错法或Google尝试获取函数以将函数作为参数然后两次应用该函数并不满意。

任何提示或指示，将不胜感激，在此先感谢。

编辑：感谢下面的杰弗里，我的问题现在已经解决。

令f4 ga = g（ga）;;

val f4：（'a->'a）->'a->'a =

Answer 1

OCaml会推断类型，因此，如果将参数用作函数，则会推断它是一个函数。 这是一个例子：

# let f g = g 8 + g 10;;
val f : (int -> int) -> int = <fun>
# (~-);;
- : int -> int = <fun>
# f (~-);;
- : int = -18

要理解该示例，请注意(~-)是普通的整数求反运算符。

更新 ：有关您更复杂问题的提示。 您需要测试 n的值。 也许if语句会起作用？ 第二个提示：如果使用递归，则不需要使用循环。 如果要使用循环，请不要使用递归。 （我个人建议使用递归，这就像在学习钢琴时弹奏音阶。）