求助：在Standard ML中用预定义compound函数实现exp幂函数

没问题，我来帮你搞定这个SML的幂函数实现！核心思路就是利用compound的“重复应用函数”特性，把幂运算转化为重复乘法操作，完全不需要自己写递归。

第一步：先明确compound的功能与实现 #

你提到compound的作用是把函数对值应用n次，它的标准实现大概是这样的（如果还没定义的话）：

fun compound 0 f x = x  (* 应用0次，直接返回初始值x *)
  | compound n f x = f (compound (n-1) f x)  (* 递归完成n次函数应用 *)

举个直观的例子：compound 2 (fn x => x*3) 1 等价于 (fn x => x*3)((fn x => x*3) 1)，最终结果就是9——这正好是我们要的exp 3 2的结果！

第二步：基于compound实现exp函数 #

幂运算b^e的本质是：从乘法单位元1开始，连续乘以b共e次。我们只需要把“乘以b”这个操作封装成匿名函数，传给compound，初始值设为1，应用次数设为e即可：

fun exp b e = compound e (fn x => x * b) 1

测试验证 #

我们来跑几个例子确认正确性：

• exp 3 2 → compound 2 (fn x=>x*3) 1 → 计算得9，符合预期。
• exp 5 0 → compound 0 ... 1 → 返回1，正确（任何数的0次幂都是1）。
• exp 2 3 → compound 3 (fn x=>x*2) 1 → 122*2=8，正确。

为什么这个方案可行？ #

• 匿名函数fn x => x * b的作用是把当前值乘以底数b，每次调用都推进一次幂运算的步骤。
• 初始值1是乘法的单位元，既保证了e=0时的正确结果，也作为后续乘法的起点。
• compound函数帮我们处理了所有重复应用的逻辑，完全不需要自己写递归，完美符合你的要求。

内容的提问来源于stack exchange，提问作者MasterYork42