在Windows平台下推荐使用Moscow ML解释器,主要是安装比较方便,其他有Standard ML of New Jersey,安装后需要设置环境变量(即bin目录所在位置)。
要引用系统模块,请使用 load "module", 例如:
-load "Math";
>it = ():unit
-Math 4.0;
>it = 2.0 : real
函数名后需要空一格。
从C/C++语言转来的同学,请多多练习andalso与orelse,另外,条件表达式
if E then E1 else E2
else部分必须存在(即else需要严格匹配,一个if对应一个else)。
附上ML程序设计教程 课后习题答案