创建 通过下面简单的例子来学习datatype绑定： 上面代码定义了一个新类型：其值有int * int或string或无 任何值都会被“标记”...

Record是“each of”类型，先熟悉，然后将它与另一个“each of”类型Tuple对比。 构建 语法（syntax） 注意： f可以...

构建符合类型的方式 基础类型：int bool unit char复合类型：tuple list option 要创建复合类型，实际上只有三种必...

对前面的进行简单的总结，学习一门语言最基本的一些核心点 词法（Syntax）：如何编写语言结构？ 语意（Semantics）：程序表达什么意思？...

在上一节，我们使用简单的ML小例子，说明了编程语言中无可变性的好处。下面我们使用java语言编写的小例子来进一步体会。 下面代码会有java安全...

在ML中，大多数形式的数据是不可变的，即一旦我们创建好该类型的绑定，则无法在后续更改其数据。这也是函数式编程之所以为函数式的原因之一。 思考下面...

前面已经看到许多布尔表达式和比较表达式了，这里做一个简单的汇总 布尔运算（Boolean operations） 对表达式1.语法（syntax...

之前的函数good_max在参数xs为空数组的时候返回0是非常糟糕的编程风格，我们有下面的一些方法可以考虑： 抛出一个异常（后续介绍） 返回一个...