OCaml教程

Polymorphism 您肯定注意到了我们创造的有些类型是高度相似的。比如说，我们创建如下类型的列表： 其中唯一的区别就是序列中元素的类型不同（一个为int，另一个为string）。在这两种类型之间

V. 编码以及更好地编码 1. 编写标注 当我们开始编写略微复杂一些的函数时， 我们可能很难在第一次的时候就写出完全正确的代码。我们通常会拿出一张纸和一根笔来画出示意图，或者写几个例子来更好地理解我们

IV. 递归 1. 递归函数 您可能已经注意到，到目前为止我们还没有使用过 for、while或其它循环。事实上，函数式语言中并不存在这种结构。为了多次重复同一个操作，我们会使用递归函数。

III.建立数据模型 1. 到目前为止，我们只使用了简单的值，这些值也只使用了OCaml中基本的类型。但是当我们想要实现那些真正的程序时，我们需要更复杂的类型，而不仅仅是int或者string

II：条件及匹配模式 1. if 和 else 和在Python中一样，OCaml里也存在条件结构，关键词同样为if和else。 但是语法却有些不一样，因为OCaml不使用:来进入条件区块（OCaml

译者前言 译者于一年前首次于课上接触OCaml语言，但发现相关的中文教材实在是少之又少。恰逢同学结合上课内容与自身理解编写了本教程，于是便拿来翻译一二以供大家借鉴。