ML 中的复合函数

Question

我需要在 ML 中编写一个函数复合，其行为如下：

Compound 接受 bin op f、int n 和值 x，并将运算符应用于 x N 次。这是一个例子：

compound f 0 x = x
compound f 1 x = x f x

我是 ML 的新手，所以我很难理解如何编写这个函数。我将非常感谢任何帮助！

Answer 1

您必须编写一个简化版的foldl 或foldr 函数，具体取决于f 关联性。但是，由于您在示例中遗漏了括号，我想f 是右结合的。

代码将用于您的foldr 案例：

fun compound f x 0 = x
  | compound f x n = f(x, compound f x (n-1));