我们在把所想的「解决方案」转换成计算机可理解的「计算机语言」。 JavaScript, Python, Java, Ruby, C++ …… 等等等等，哪怕是世界上最好的语言 PHP，也大抵如此：「解决方案」->「计算机语言」。 或许你会想到人工智能、深度学习等等概念，但那些热…

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

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

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

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

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