一、启动与结束
启动:命令行(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
即可正常输出