《函数式F#语言程序设计》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:黎升洪主编
  • 出 版 社:上海:复旦大学出版社
  • 出版年份:2014
  • ISBN:9787309107388
  • 页数:370 页
图书介绍:F#是.NET框架下的通用函数式语言,开发的高效使得F#是当前IT界用来开发实际应用的函数式语言之一。本书从类型理论出发,通过函数特征来阐述类型变换规则需要遵守的约束,着重描述了函数特征、部分应用、惰性赋值、模式匹配、测量单位、尾递归、连续传递风格和单子等函数式语言特有的语言元素工作原理。介绍了F#语言在排序算法和编译器构造方面的应用。

第1章 F#语言特性与.NET框架基础知识 1

1.1 F#语言特性与发展历史 1

1.2 .NET框架基础知识 3

小结 10

第2章 F#基元类型与函数值 12

2.1 F#中的基元数据类型及其常量表示 12

2.2 函数值定义与使用 20

2.3 F#的运算符 35

小结 38

第3章 F#程序构成与库成员调用 40

3.1 F#库与.NET库 40

3.2 F#程序构成与点标注法 48

3.3 F#常用函数 59

小结 66

第4章 F#控制结构、模式匹配与异常处理 68

4.1 F#控制结构 68

4.2 模式匹配与match表达式 74

4.3 异常处理 81

小结 91

第5章 元组、列表、序列和选项类型 93

5.1 元组 93

5.2 列表 99

5.3 序列 125

5.4 选项 141

小结 143

第6章 数组、集合、映射和模式匹配总结 145

6.1 数组 145

6.2 集合与映射 166

6.3 活动模式及模式小结 172

小结 186

第7章 类、接口与委托 188

7.1 类定义、实例化和构造函数 188

7.2 类的抽象值、接口与对象表达式 221

7.3 实现多态及类型测试与类型向上向下转换 230

7.4 委托(F#) 235

小结 239

第8章 记录、结构、可区分联合、枚举和度量单位 242

8.1 记录类型 242

8.2 结构 247

8.3 可区分联合 252

8.4 枚举类型 257

8.5 度量单位 259

8.6 类型约束和静态解析类型参数 263

小结 266

第9章 特性和反射 267

9.1 特性 267

9.2 反射 276

小结 290

第10章 代码引用和F#在程序语言解析中的应用 291

10.1 使用F#代码引用完成语言解析 291

10.2 使用fslex与fsyacc完成语言解析 296

小结 316

第11章 F#语言在算法与数据结构中的应用 319

11.1 排序算法 319

11.2 二叉树定义与遍历等操作 330

小结 338

第12章 计算表达式与异步工作流 339

12.1 计算表达式 339

12.2 异步工作流 356

小结 361

参考文献 363

索引 368