实数与整数的 SML 求幂

Question

我写了一个用底数 b 和指数 e 求幂的函数，如下所示：

fun power b e = if e = 0 then 1 else b * power b (e-1);

显然这适用于整数，如输出所示：

val power = fn : int -> int -> int

但是，我希望它对 b 采用实数，对 e 采用整数。我尝试使用以下内容：

fun power (b : real) (e : int) = if e = 0 then 1 else b * power b (e-1);

这给了我错误。任何帮助表示赞赏。

Answer 1

为以后遇到相同问题的其他人提供：

你必须强制函数返回一个实数，并为 then 的情况返回一个实数。

fun power b e : real = if e = 0 then 1.0 else b * power b (e-1);

返回：

val power = fn : real -> int -> real