信毅教材大系：函数式F#语言程序设计

图书标准信息

• 作者 黎升洪 著
• 出版社 复旦大学出版社
• 出版时间 2014-10
• 版次 1
• ISBN 9787309107388
• 定价 58.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 380页
• 字数 507千字
• 正文语种 简体中文
• 丛书 信毅教材大系

【内容简介】

F#是.NET框架下的通用函数式语言，当前IT界用来开发实际应用的函数式语言之一。本书从类型理论出发，通过函数特征阐述类型变换规则需要遵守的约束，着重描述了函数特征、部分应用、惰性赋值、模式匹配、测量单位、尾递归、连续传递风格和单子等函数式语言特有的语言元素工作原理。介绍了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异步工作流
小结

参考文献

索引