SML(standard ML)入门学习（1）

采自《ML程序设计教程》

一、名字和函数

首先可以输入：

2+2；

ML回应：

> 4 : int

注意整数（int）和实数（real）不能在同一个表达式里出现。可以将整数加小数点解决(2-->2.0)。

1.命名常量

值的声名是以关键字val开始，以分号结束。

先用名字seconds命名60。

val seconds = 60;

val minutes = 60；

val hours = 24；

seconds*minutes*hours；

输出：

> 86400 : int

ML会把求得的值存入it。可以引用it。

it div 24；

> 3600 : int

名字里可以包含下划线。

2.声名函数

计算圆面积函数：

fun area (r) = 3.14*r*r;

函数声明以fun开始，area是函数的名字，r是形式参数，3.14*r*r是函数体。

函数在ML里也是值，ML也打印出值和类型：

> val area = fn : real -> real

area(2.0);

> 12.56 : real

下面的函数声名与之前的等价：

fun area r = 3.14*r*r；

3.Standard ML中的标识符

字母名字以字母开始，后可以跟随字母、数字、下划线和撇号。符号名字可由~!@#$%^&*+-:<=>?\'|组成。名字可以任意长。

4.算术运算

整数：一串数字，可由负号(~)开始。整数运算包含+、-、*、div和mod。遵循常规的优先级规则。

实数：可以使用E记法。如7E~2表示0.07。负的指数部分由一元减号(~)开始。