函數式 F# 語言程序設計 信毅教材大系:函数式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#控制結構、模式匹配與異常處理
  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 異步工作流
  小結
參考文獻
索引