OCaml语言编程基础教程电子书

内容提要

前言

致谢

第1章 函数式控制结构

1.1 OCaml解释器

1.2 表达式和let定义

1.3 let局部定义

1.4 基本类型

1.5 乘积类型和模式匹配初步

1.6 函数和函数类型

1.7 多态类型

1.8 λ演算对函数式语言的影响

1.9 中缀操作符与前缀操作符

1.10 同构函数和柯里化

1.11 循环迭代函数

1.12 本章小结

1.13 练习

第2章 函数式数据结构

2.1 函数式数据类型和自动存储管理

2.2 类型的显式定义

2.3 记录类型

2.4 联合类型

2.5 表的编程技术

2.6 函数运行时间分析

2.7 程序文件的解释执行和编译执行

2.8 和C语言比较执行效率

2.9 尾递归

2.10 option类型和关联表

2.11 带标签的函数参数以及可选参数

2.12 延迟求值

2.13 本章小结

2.14 练习

第3章 模块化程序设计

3.1 基于无序表的集合

3.2 基于有序表的集合

3.3 模块和接口

3.4 函子

3.5 函子的接口

3.6 用Set库构造专用集合模块

3.7 生成质数集合

3.8 异常处理

3.9 模块的层次结构

3.10 模块用做表达式

3.11 抽象类型

3.12 动态构造模块接口

3.13 本章小结

3.14 练习

第4章 命令式程序设计

4.1 引用变量和赋值语句

4.2 可更改的记录分量

4.3 数组

4.4 字符串和字节序列

4.5 弱类型变量和多态函数的部分作用

4.6 Printf库和格式化输出

4.7 Scanf库和格式化输入

4.8 文件输入输出

4.9 命令式控制结构

4.10 编程案例：四向链表

4.11 散列表、栈、队列及命令式模块

4.12 本章小结

4.13 练习

第5章 块化图形程序设计

5.1 生成带图形库的OCaml解释器

5.2 图形窗口

5.3 图形窗口初始化及参数设置

5.4 事件循环

5.5 颜色设置

5.6 模块化图形编程

5.7 文本数字环及字符串绘制

5.8 端点小环及图形填充

5.9 端点连接线及弧线绘制

5.10 命令行参数

5.11 电机接线图的完整代码

5.12 本章小结

5.13 练习

第6章 移植OCaml图形程序到F <strong>#</strong>

6.1 打开窗体

6.2 窗体初始化

6.3 在窗体中间画圆

6.4 基本作图模块

6.5 文本数字环

6.6 端点小环

6.7 连接线

6.8 F#版电机接线图完整代码

6.9 怎样提高OCaml代码的可移植性

6.10 本章小结

6.11 练习

第7章 多语言联合程序设计

7.1 软件总体架构

7.2 C#调用OCaml命令行作图程序

7.3 C#调用F#动态共享DLL作图程序库

7.4 C#调用Access数据库

7.5 本章小结

第8章 面向对象程序设计

8.1 类和对象

8.2 基于对象方法画电机圆

8.3 类的继承

8.4 多重继承

8.5 多重继承中的同名方法

8.6 同名方法的延迟绑定

8.7 私有方法

8.8 虚拟类和子类型

8.9 类中的多态类型

8.10 多态类的继承

8.11 二元方法

8.12 子类型与子类

8.13 类的类型

8.14 对象之间的相等关系

8.15 面向对象的电动机接线程序

8.16 本章小结

8.17 练习

附录 部分习题参考答案

参考文献