F#是.NET框架下的通用函式式語言,是當前IT界用來開發實際套用的函式式語言之一。
基本介紹
- 書名:函式式F#語言程式設計
- 作者:黎升洪
- 頁數:370頁
- 出版社:復旦大學出版社
- 出版時間:2014-10
- 開本:16 開
書籍信息,內容簡介,圖書目錄,
書籍信息
作者: | 黎升洪 主編 | ||
定價: | 58 元 | 頁數: | 370頁 |
ISBN: | 978-7-309-10738-8/T.517 | 字數: | 507千字 |
開本: | 16 開 | 裝幀: | 平裝 |
出版日期: | 2014年10月 |
內容簡介
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異步工作流
小結
參考文獻
索引
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異步工作流
小結
參考文獻
索引