SML(一)

1. ML是一个函数式编程语言,理论基础为λ演算。

2. 变量声明

val x = e;

标准类型:单元(unit)、布尔(bool)、整型(int)、字符串(string)、实数(real)、元组(tuple)、记录(record)、列表(list)

1)负数表示:负号用“~”表示,-1表示为“~1”;

2)字符串:双引号间的字符序列;

3)实数:其他语言表述为double的浮点数;

4)list:“[]”表示空list,list 例:[1, 4, 9, 16, 25],list中的数据类型要求一致,可以嵌套;

5)tuple:圆括号中用逗号分隔的数据元素,可以嵌套,元组数据类型可以不一致,例:(a, 9);

6)record:记录的值和类型的写法都用{}括起来,例:{first : int, middle : int, last : int};

1

元组

列表

记录

括号

()

[]

{}

元素类型

可以不同

必须相同

可以不同

长度

定长

变长

变长

类型表达式

用*连接的<元素类型>表达式

<元素类型> list

{记录名: <元素类型>}

3. 使用程序文件:use "foo.sml";

4. 函数定义

SML中函数的类型是由他的定义域和值域共同确定。

SML

C语言

fun division(x : int, y : int) =

x div y

int division(int x, int y)

{

return x/y;

}

5. 元组数据引用

元组pr : int * bool  => #1 pr元组 第一个元素,int类型;#2 pr 元组第二个元素,bool类型;

6. 列表数据引用

hd, 列表表头元素;tl,hd元素以外的列表;

7. let表达式:let b1 b2 … bn in e end

b1 b2 … bn 可以为变量声明、函数定义等, e为表达式

8. 条件表达式:if e1 then e2 else e3

e1、e2、e3为表达式,e2和e3要求相同的数据类型;

9. NONE、SOME和valOf

关键字

Evaluate

TYPE

'a

任意类型

'a list

任意类型的list;hd类型确定后,list类型固定

NONE

NONE is an option value "carrying nothing" whereas

'a option

SOME e

SOME e evaluates e to a value v and becomes the option carrying the one value v.

t option if e has type t.

null、isSome

null to see if a list is empty, we have isSome which evaluates to false if  its argumentis NONE.

valOf

get the value carried by SOME (raising an exception for NONE)

10. 运算符

算术加、减、乘、除:+、-、*、div(整型)、/(real类型)

逻辑运算与、或、非、等、不等、大于、小于、大于等于、小于等于:andalso、orelse、not、=、<>、>、<、>=、<=

字符串连接:^

两个列表连接:@

数据e与列表es连接:e::es