乔治会写代码了吗

一些语法 命名规则： 变量名第一个字母小写为常量。比如：letter、number等 变量名第一个字母大写或以下划线开头则为变量。比如：Variable或_Variable...

安装swi-prolog 官网下载链接 ：https://www.swi-prolog.org/download/stable Windows、MacOSX、Linux都有...

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

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

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

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

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

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