函数式F#语言程序设计

目录

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

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

1.2.NET框架基础知识

小结

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

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

2.2函数值定义与使用

2.3F#的运算符

小结

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

3.1F#库与.NET库

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

3.3F#常用函数

小结

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

4.1F#控制结构

4.2模式匹配与match表达式

4.3异常处理

小结

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

5.1元组

5.2列表

5.3序列

5.4选项

小结

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

6.1数组

6.2集合与映射

6.3活动模式及模式小结

小结

第7章 类、接口与委托

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

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

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

7.4委托(F#)

小结

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

8.1记录类型

8.2结构

8.3可区分联合

8.4枚举类型

8.5度量单位

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

小结

第9章 特性和反射

9.1特性

9.2反射

小结

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

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

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

小结

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

11.1排序算法

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

小结

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

12.1计算表达式

12.2异步工作流

小结

参考文献

索引

F#是.NET框架下的通用函数式语言，当前IT界用来开发实际应用的函数式语言之一。本书从类型理论出发，通过函数特征阐述类型变换规则需要遵守的约束，着重描述了函数特征、部分应用、惰性赋值、模式匹配、测量单位、尾递归、连续传递风格和单子等函数式语言特有的语言元素工作原理。介绍了F#语言在排序算法和编译器构造方面的应用。
本书适合计算机相关专业本科生或研究生使用，也可供熟悉面向对象强制式编程的工程人员学习函数式编程使用。