SML 中的柯里化匿名函数

Question

我有下面的功能，它的工作原理：

(fn x => x * 2) 2; 

但这个不起作用：

(fn x y => x + y ) 2 3;

谁能告诉我为什么？ 或者给我一些提示让它工作？

Answer 1

(fn x => fn y => x+y) 2 3; 作品。 fn只是没有与fun相同的语法糖来定义柯里化函数。

Answer 2

在标准机器学习中，一个函数只能有一个参数，所以使用

(fn (x,y) => x + y) (2,3) 

类型是

fn: int * int -> int

此时 (x,y) 和 (2,3) 是一个列表结构，

Answer 3

上面发布的答案是正确的。 SML 函数只接受一个参数。 因此，SML 函数只能具有以下两种输入类型之一：

1) t = (t1 * t2 * ... * tN) ，对于一些 N

2) t = a ，对于某些a 。

因此，从技术上讲，SML仅将产品类型或一元类型作为函数的参数。 人们可以更普遍地将其视为一元类型或某种产品类型的投影。

为了在匿名函数中进行柯里化，可以随意将它们相互嵌套： fn x1 => fn x2 => ... fn xN => ...

我认为知道以下fun a = fn x1 => fn x2 => ... fn xN => ...也很重要： fun a = fn x1 => fn x2 => ... fn xN => ...是语法糖的完整扩展： fun a x1 x2 .. xN