如何在 sml 中将柯里化函数的输入声明为实数？

Question

这是我想要输出为真实的咖喱阶乘函数的代码

fun pow(x:real) (n:real)= if (n=0.0) then 1.0 else x:real*pow(x:real) (n-1:real) ;

但是我的语法真的很错误，我该如何解决这个问题？

Answer 1

我想你想要的是：

fun pow x n =
  if n = 0
  then 1.0
  else x * pow x (n - 1)

或者，如果您想更明确地了解类型：

fun pow (x : real) (n : int) : real =
  if n = 0
  then 1.0
  else x * pow x (n - 1)

即：

• 我想你希望n 是int 类型，而不是real 类型。 （您的方法只有在 n 是非负整数时才有意义，否则递归将永远进行。）
• 你不需要到处都有那么多:real-s；他们不添加任何东西，因为编译器可以推断类型。