sml 中的 val 是什么？

Question

我有一个这样的例子。

type int_pair = int * int;

val it:int_pair = (1,1);

不太明白val是什么意思，什么情况下会用到val。

是否意味着我们正在给int_pair赋值呢？

Answer 1

是的，it 绑定到 int_pair 类型的值 (1, 1)；参见 documentation。