OCaml语言编程基础教程PDF|Epub|txt|kindle电子书版本网盘下载

OCaml语言编程基础教程PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 函数式控制结构1

1.1 OCaml解释器2

1.2 表达式和let定义3

1.3 let局部定义6

1.4 基本类型8

1.4.1 整数类型int9

1.4.2 浮点类型float11

1.4.3 字符类型char13

1.4.4 unit类型和简单输入输出14

1.4.5 字符串类型string与printf函数15

1.4.6 bool类型和if表达式18

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

1.6 函数和函数类型23

1.6.1 简单函数23

1.6.2 函数表达式28

1.6.3 function和fun比较30

1.6.4 高阶函数31

1.6.5 递归函数33

1.6.6 相互递归函数36

1.6.7 模式匹配表达式36

1.7 多态类型40

1.7.1 类型变量40

1.7.2 类型推导42

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

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

1.10 同构函数和柯里化46

1.11 循环迭代函数47

1.12 本章小结51

1.13 练习52

第2章 函数式数据结构55

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

2.2 类型的显式定义59

2.3 记录类型61

2.3.1 记录类型和记录的创建62

2.3.2 函数的记录参数63

2.3.3 记录字段的重名63

2.3.4 记录的部分重建64

2.3.5 记录字段简写65

2.3.6 多态记录类型65

2.4 联合类型65

2.4.1 带参数的构造子67

2.4.2 由单个构造子构成的联合类型68

2.4.3 递归类型68

2.4.4 带多态变量的联合类型70

2.4.5 表70

2.4.6 值的递归定义71

2.4.7 多态变体71

2.5 表的编程技术73

2.5.1 表的基本操作73

2.5.2 定义表处理函数75

2.5.3 线性表的同态映射78

2.5.4 快速排序算法80

2.6 函数运行时间分析83

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

2.8 和C语言比较执行效率88

2.9 尾递归90

2.10 option类型和关联表91

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

2.11.1 标签参数92

2.11.2 可选参数93

2.11.3 标签参数和可选参数的显式类型说明94

2.11.4 高阶函数与标签参数和可选参数95

2.11.5 带标签的标准库96

2.12 延迟求值96

2.13 本章小结98

2.14 练习99

第3章 模块化程序设计102

3.1 基于无序表的集合103

3.2 基于有序表的集合105

3.3 模块和接口106

3.4 函子111

3.5 函子的接口115

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

3.7 生成质数集合121

3.8 异常处理125

3.8.1 异常表达式125

3.8.2 异常捕获126

3.8.3 几个常见的异常128

3.9 模块的层次结构129

3.9.1 多层模块129

3.9.2 模块和文件130

3.9.3 自动模块化编译ocamlbuild132

3.9.4 多参数函子133

3.9.5 模块局部打开和模块包含134

3.10 模块用做表达式136

3.11 抽象类型138

3.11.1 抽象类型的作用和限制138

3.11.2 私有抽象类型139

3.11.3 局部抽象类型141

3.12 动态构造模块接口142

3.12.1 用接口构造接口143

3.12.2 从模块推导接口144

3.13 本章小结144

3.14 练习146

第4章 命令式程序设计149

4.1 引用变量和赋值语句150

4.2 可更改的记录分量153

4.3 数组155

4.4 字符串和字节序列160

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

4.6 Printf库和格式化输出165

4.7 Scanf库和格式化输入168

4.8 文件输入输出171

4.9 命令式控制结构174

4.9.1 赋值语句174

4.9.2 顺序控制175

4.9.3 操作符“｜＞”176

4.9.4 循环控制177

4.9.5 修改输入参数的函数178

4.10 编程案例：四向链表178

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

4.12 本章小结189

4.13 练习190

第5章 模块化图形程序设计192

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

5.2 图形窗口193

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

5.4 事件循环198

5.5 颜色设置199

5.6 模块化图形编程200

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

5.8 端点小环及图形填充208

5.9 端点连接线及弧线绘制212

5.10 命令行参数217

5.11 电机接线图的完整代码220

5.12 本章小结225

5.13 练习226

第6章 移植OCaml图形程序到F＃229

6.1 打开窗体230

6.2 窗体初始化232

6.3 在窗体中间画圆234

6.4 基本作图模块235

6.5 文本数字环239

6.6 端点小环242

6.7 连接线244

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

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

6.10 本章小结253

6.11 练习254

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

7.1 软件总体架构255

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

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

7.4 C＃调用Access数据库261

7.5 本章小结264

第8章 面向对象程序设计265

8.1 类和对象266

8.2 基于对象方法画电机圆268

8.3 类的继承269

8.4 多重继承271

8.5 多重继承中的同名方法272

8.6 同名方法的延迟绑定275

8.7 私有方法275

8.8 虚拟类和子类型276

8.9 类中的多态类型279

8.10 多态类的继承283

8.11 二元方法287

8.12 子类型与子类288

8.13 类的类型292

8.14 对象之间的相等关系293

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

8.16 本章小结303

8.17 练习305

附录 部分习题参考答案307

参考文献315