SML экспоненцирование реального с целыми

Question

Я написал функцию, которая делает возведение в степень с основанием, б и экспоненты е следующим образом:

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

Понял для кого-либо еще с той же проблемой в будущем:

Вы должны заставить функцию возвращать реальное и возвращает реальное для случая затем.

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

возвращается:

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