《haskell函數式編程入門》
第1章 haskell簡介 1
1.1 haskell的由來 1
1.2 haskell編譯器的安裝以及 編寫環境 3
1.3 ghci的使用 4
1.3.1 ghci中的命令 5
1.3.2 在ghci中調用函數 5
1.4 .hs和.lhs文件、注釋與庫函數 7
1.5 第一個haskell程序helloworld! 7
本章小結 8
第2章 類型係統和函數 9
2.1 haskell的類型與數據 9
2.1.1 haskell常用數據類型 9
2.1.2 函數類型 14
2.1.3 類型的彆名 17
2.1.4 類型的重要性 18
2.2 haskell中的類型類 19
2.2.1 相等類型類：eq 20
2.2.2 有序類型類：ord 20
2.2.3 枚舉類型類：emum 21
.2.2.4 有界類型類：bounded 21
2.2.5 數字類型類：num 22
2.2.6 可顯示類型類：show 25
2.2.7 小結 25
2.3 haskell中的函數 26
2.3.1 haskell中的值 26
2.3.2 函數思想入門 27
2.3.3 函數的基本定義格式 28
2.3.4 λ錶達式 30
2.3.5 參數的綁定 34
2.4 haskell中的錶達式 35
2.4.1 條件錶達式 35
2.4.2 情況分析錶達式 36
2.4.3 守衛錶達式 37
2.4.4 模式匹配 37
2.4.5 運算符與函數 38
2.4.6 運算符與自定義運算符 38
本章小結 41
第3章 基於布爾值的函數 42
3.1 關鍵字module與import簡介 42
3.2 簡易布爾值的函數 43
3.3 與非門和或非門 46
本章小結 47
第4章 庫函數及其應用 48
4.1 預加載庫函數 48
4.1.1 常用函數 48
4.1.2 基於列錶的函數 50
4.1.3 定義曆法公式 57
4.1.4 字符串處理的函數 58
4.2 字符與位函數庫簡介 60
4.2.1 data.char 60
4.2.2 data.bits 60
本章小結 61
第5章 遞歸函數 62
5.1 遞歸函數的概念 62
5.2 簡單遞歸函數 64
5.3 擴展遞歸與尾遞歸 66
5.4 互調遞歸 68
5.5 麥卡锡的91函數 69
5.6 斐波那契數列 69
5.7 十進製數字轉成羅馬數字 73
5.8 二分法查找 74
5.9 漢諾塔 75
5.10 排序算法 78
5.10.1 插入排序 78
5.10.2 冒泡排序 81
5.10.3 選擇排序 83
5.10.4 快速排序 84
5.10.5 歸並排序 86
小結 91
5.11 遞歸基本條件與程序終止 91
5.12 遞歸與不動點 92
5.13 無基本條件遞歸和惰性求值 94
本章小結 96
第6章 列錶內包 97
6.1 列錶生成器 97
6.2 素數相關趣題 99
6.3 凱撒加密 101
6.3.1 加密 102
6.3.2 解密 102
6.4 排列與組閤問題 104
6.4.1 排列問題 104
6.4.2 錯位排列問題 105
6.4.3 組閤問題 106
6.5 八皇後問題 107
6.6 計算矩陣乘法 111
6.7 最短路徑算法與矩陣乘法 112
本章小結 116
第7章 高階函數與復閤函數 117
7.1 簡單高階函數 117
7.2 摺疊函數foldr與foldl 119
7.3 mapaccuml與mapaccumr函數 125
7.4 復閤函數 126
本章小結 128
第8章 定義數據類型 129
8.1 數據類型的定義 129
8.1.1 枚舉類型 129
8.1.2 構造類型 132
8.1.3 參數化類型 134
8.1.4 遞歸類型 138
8.1.5 雜閤定義類型 140
8.2 類型的同構 142
8.3 使用newtype定義類型 146
8.4 數學歸納法的有效性 148
8.5 樹 150
8.6 卡特蘭數問題 151
8.7 霍夫曼編碼 152
8.8 解24點 154
8.9 zipper 157
8.10 一般化的代數數據類型 159
8.11 類型的kind 162
8.11.1 類型的kind 162
8.11.2 空類型的聲明 164
本章小結 165
第9章 定義類型類 166
9.1 定義類型類 166
9.2 haskell中常見類型類 169
9.2.1 常用類型類 169
9.2.2 functor 171
9.2.3 applicative 173
9.2.4 alternative 177
9.2.5 簡易字符識彆器 179
9.2.6 read類型類 182
9.2.7 單位半群(monoid) 182
9.2.8 foldable與monoid類型類 184
9.2.9 小結 186
9.3 類型類中的類型依賴 187
9.4 類型類中的關聯類型 192
9.5 定長列錶 193
9.6 運行時重載 197
9.7 existential類型 198
本章小結 199
第10章 monad初步 201
10.1 monad簡介 201
10.2 從identity monad開始 204
10.3 maybe monad 206
10.4 monad定律 209
10.5 列錶monad 210
10.6 monad相關運算符 210
10.7 monadplus 211
10.8 functor、applicative與monad的關係 213
本章小結 215
第11章 係統編程及輸入/輸齣 216
11.1 不純函數與副作用 216
11.2 io monad 218
11.3 輸入/輸齣處理 222
11.3.1 control.monad中的函數 222
11.3.2 係統環境變量與命令行參數 224
11.3.3 數據的讀寫 225
11.3.4 格式化輸齣printf函數 228
11.3.5 printf函數的簡易實現 229
11.4 星際譯王詞典 233
11.4.1 二分法查找 234
11.4.2 散列錶的使用 237
11.5 簡易異常處理 239
11.6 haskell中的時間 244
本章小結 245
第12章 記錄器monad、讀取器monad、狀態monad 246
12.1 記錄器monad 246
12.1.1 monadwriter 248
12.1.2 記錄歸並排序過程 249
12.2 讀取器monad 250
12.2.1 monadreader 251
12.2.2 變量環境的引用 252
12.3 狀態monad 253
12.3.1 狀態monad標簽器 254
12.3.2 用狀態monad實現棧結構 255
12.3.3 狀態monad、funapp單位半群和讀取器monad的關係 257
12.3.4 monadstate 258
12.3.5 基於棧的計算器 258
12.4 隨機數的生成 270
本章小結 271
第13章 monad轉換器 273
13.1 從identityt monad轉換器開始 273
13.2 monad轉換器組閤與復閤monad的區彆 276
13.3 monad轉換器的組閤順序 278
13.4 lift與liftio 281
13.5 簡易monad編譯器 282
13.6 語法分析器monad組閤子 286
13.6.1 簡易語法分析器的實現 287
13.6.2 parsec庫簡介 291
13.6.3 上下文無關文法 296
13.6.4 基於語法分析器的計算器 300
本章小結 304
第14章 quickcheck簡介 305
14.1 測試函數屬性 305
14.2 測試數據生成器 308
本章小結 310
第15章 惰性求值簡介 311
15.1 λ演算簡介 311
15.2 ⊥bottom 313
15.3 錶達式形態和thunk 314
15.3.1 whnf、hnf與nf 314
15.3.2 thunk與嚴格求值 315
15.4 求值策略 319
15.4.1 引值調用 319
15.4.2 按名調用 320
15.4.3 常序求值 320
15.5 惰性求值 321
15.6 嚴格模式匹配與惰性模式匹配 322
第16章 並行與並發編程 324
16.1 確定性的並行計算 325
16.2 輕量級綫程 333
16.2.1 調度的不確定性 333
16.2.2 基本綫程通信 334
16.2.3 信道 337
16.2.4 簡易聊天服務器 337
16.3 軟件事務內存 341
16.3.1 軟件事務內存簡介 341
16.3.2 軟件事務內存的使用 343
16.3.3 哲學傢就餐問題 347
16.3.4 聖誕老人問題 350
16.4 異步並發庫簡介 355
本章小結 357
參考文獻 358
後記 359
· · · · · · (
收起)
