多范型程序设计语言PDF电子书下载

第一篇　模块化程序设计语言 3

第1章　Ada语言 3

1.1 引论 3

1.2　基本数据类型和表达式 5

1.3　组合数据类型 18

1.4　控制结构 26

1.5　子程序 34

1.6　程序包 39

1.7　异常 43

1.8　访问类型 45

1.9　类属单元 47

1.10　文件 51

第2章　Modula-2语言 53

2.1 引论 53

2.2　数 56

2.3　常量、变量与数据类型 58

2.4　布尔类型与字符类型 62

2.5　基本控制语句 65

2.6　枚举类型与子界类型 72

2.7　数组与记录 74

2.8　过程与函数 80

2.9　集合类型 85

2.10　动态数据结构 87

2.11　模块 89

2.12　I/O流 92

第二篇 函数式程序设计语言 99

第3章　Scheme语言 99

3.1 引论 99

3.2　数、表达式与简单程序 100

3.3　复合数据 104

3.4　函数 107

3.5　控制结构 113

3.6　输入输出 115

第4章　SML语言 117

4.1　引论 117

4.2　数据对象与运算符 119

4.3　控制表达式 125

4.4　函数 127

4.5　异常 136

第5章　Haskell语言 140

5.1　引论 140

5.2　数据类型 142

5.3　函数 148

5.4　数列 160

5.5　输入输出 164

第三篇　面向对象程序设计语言 169

第6章　Smalltalk语言 169

6.1　引论 169

6.2　对象与消息 170

6.3　控制结构 176

6.4　类与方法 186

6.5　继承性与多态性 195

第四篇　逻辑式程序设计语言 201

第7章　Prolog语言 201

7.1 引论 201

7.2　Prolog的三个基本语句 203

7.3　数据结构与递归 218

总习题 238

参考文献 241