创建一个返回curried函数（SML）的函数

Question

我编写了一个函数来计算从实数列表中得到的多项式的x值。

infixr 5 ^^;

fun (x:real) ^^ 0 = 1.0
  | (x:real) ^^ n = x*(x^^(n-1));

fun poly [] (x:real) = 0.0
  | poly (hd::tl) (x:real) = hd*(x^^(length tl)) + poly tl x;

这段代码完全正常，我为此感到自豪。

我设法使用部分应用程序创建多项式函数：

> fun f x = poly [3.0,2.0,1.0] x;
val f = fn : real -> real

> f 2.0;
val it = 17.0 : real

创建数学函数：f(x) = 3*x^2 + 2*x + 1

这很好，但我希望能够通过这种方法构建一个函数：

fun f x = polyGen [1.0,2.0,3.0];

它会给我一个与上面相同的功能。 这可能吗？ 我知道这似乎微不足道，我可以像以前一样把x放在那里，继续我的生活。但我只是好奇有人会如何解决这个问题！

提前致谢，Ciaran

编辑：

fun polyGen L = let fun poly [] x = 0.0
                      | poly (hd::tl) x = hd + x*(poly tl x);
                in fn x => poly L x end;

可爱！

Answer 1

如果我理解你的问题，那么你根本不需要定义任何其他内容。使用您已经拥有的功能poly

val f = poly [3.0, 2.0, 1.0]

将f定义为real -> real类型的函数。