函數式F#語言程序設計（簡體書）

F#是.NET框架下的通用函數式語言，是當前IT界用來開發實際應用的函數式語言之一。黎升洪主編的《函數式F#語言程序設計》從類型理論出發，通過函數特征闡述類型變換規則需要遵守的約束，著重描述了函數特征、部分應用、惰性賦值、模式匹配、測量單位、尾遞歸、連續傳遞風格和單子等函數式語言特有的語言元素工作原理。介紹了F#語言在排序算法和編譯器構造方面的應用。
本書適合計算機相關專業本科生或研究生使用，也可供熟悉面向對象強制式編程的工程人員學習函數式編程使用。

黎升洪，江西財經大學教師，計算機應用專業工學博士、碩士生導師，江西省中青年骨干教師。曾獲江西省高等學校優秀教材一等獎。目前主要從事軟件工程和函數式語言教學研究工作。

第1章 F#語言特性與.NET框架基礎知識
1.1 F#語言特性與發展歷史
1.2.NET框架基礎知識
小結
第2章 F#基元類型與函數值
2.1 F#中的基元數據類型及其常量表示
2.2 函數值定義與使用
2.3 F#的運算符
小結
第3章 F#程序構成與庫成員調用
3.1 F#庫與.NET庫
3.2 F#程序構成與點標注法
3.3 F#常用函數
小結
第4章 F#控制結構、模式匹配與異常處理 第1章 F#語言特性與.NET框架基礎知識
1.1 F#語言特性與發展歷史
1.2.NET框架基礎知識
小結
第2章 F#基元類型與函數值
2.1 F#中的基元數據類型及其常量表示
2.2 函數值定義與使用
2.3 F#的運算符
小結
第3章 F#程序構成與庫成員調用
3.1 F#庫與.NET庫
3.2 F#程序構成與點標注法
3.3 F#常用函數
小結
第4章 F#控制結構、模式匹配與異常處理
4.1 F#控制結構
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 異步工作流
小結
參考文獻
索引