sml - 带类型单位的函数

Question

我正在尝试创建一个具有以下类型的函数:

unit -> (int list * int list * int list)

但我想知道，unit 是一个空类型(没有值)，那么怎么可能用它做一些事情并返回 3 个 int 列表呢？

谢谢

Answer 1

类型unit不为空。
它有一个拼写为 () 的值，通常称为“unit”，就像它的类型一样。
(“单位”一词的一个意思是“单一的东西”。)

例子:

- ();
val it = () : unit
- val you_knit = ();
val you_knit = () : unit

- fun foo () = ([1], [2], [3]);
val foo = fn : unit -> int list * int list * int list
- foo ();
val it = ([1],[2],[3]) : int list * int list * int list
- foo you_knit;
val it = ([1],[2],[3]) : int list * int list * int list

(注意 () 不是空参数列表；ML 没有参数列表。)

严格来说，上面的定义模式匹配值()。
如果没有模式匹配，它可能看起来像这样:

- fun bar (x : unit) = ([1], [2], [3]);
val bar = fn : unit -> int list * int list * int list
- bar ();
val it = ([1],[2],[3]) : int list * int list * int list