功能的数据类型是SML

Question

不清楚鉴于SML以下功能：

fun i a b = let fun j()=a+1 in j end; 

函数的数据类型是：

val i = fn : int -> 'a -> unit -> int 

我不明白为什么int -> 'a -> unit -> int？

为什么不是(int * a') -> unit -> int，因为功能i接收到两个输入。

Answer 1

如果将函数定义为fun i (a,b) = ...，那么它将需要一个元组作为参数，其类型确实是(int * 'a) -> unit -> int。它将被称为i (23,42)()（(23,42)是一个元组，()是单位值）。

但是，您将其定义为fun i a b = ...，它定义了一个函数，该函数接受一个参数，然后返回接受下一个参数的另一个函数。这是fun i a = fn b => ...的快捷方式。它可以被称为i a b()。

Answer 2

这个功能（以及SML中的任何功能）实际上都是接收的一个输入，因为是currying。

从技术上讲，有函数需要单位，即返回带有返回函数的函数。

所以

fun foo a b = a + b; 

是just an syntactic sugar到

fun foo a = fn b => a + b; 

等。