smlnj的基本使用

一、启动与结束

启动：命令行（windows下cmd或powershell）输入sml启动交互式系统(interactive system)
退出：Windows下control-Z（unix下control-D）结束交互式系统，需按下Enter，有无";"均可

PS：control-C为Interrupt操作符，直接将输入行切回top level，无需回车

二、运行说明

• "-" 顶级提示符(top level prompt)：表示首输入行
• "=" 二级提示符（secondary prompt）：第二及以后的输入行
• 每个语句必须以";"结尾，否则Enter后进入二级输入行

三、编译文件

use string -> unit
使用use命令导入启动sml所在目录的某.sml文件

///~C:\Users\CY\Desktop>sml
//Standard ML of New Jersey v110.92 [built: Sat Aug 10 09:05:02 2019]

- use "a.sml"; //启动并编译C:\Users\CY\Desktop\a.sml

///~ a.sml内容：
2+1;
val pi = 3.1415;
fun area r = pi*r*r;
area 1;


///~output:
[opening a.sml]
val it = 3 : int
val pi = 3.1415 : real
val area = fn : real -> real
a.sml:4.1-4.7 Error: operator and operand do not agree [overload conflict]
  operator domain: real
  operand:         [int ty]
  in expression:
    area 1
val it = () : unit

错误说明

sml是严格类型检测的语言，输出
val area = fn : real -> real
说明该函数接受实数real，返回实数

Error: operator and operand do not agree [overload conflict]
实参与函数应接收的不匹配

将area 1 改为 area 1.0即可正常输出