《haskell趣學指南》適合對函式式編程及haskell語言感興趣的開發人員閱讀。
基本介紹
- 作者：[斯洛維尼亞] Miran Lipovaca
- 譯者：李亞舟/宋方睿
- ISBN：9787115335593
- 頁數：301
- 出版社：人民郵電出版社
- 出版時間：2014-1
- 裝幀：平裝
內容簡介,目錄,
內容簡介
《haskell趣學指南》是一本講解haskell這門函式式程式語言的入門指南，語言通俗易懂，插圖生動幽默，示例短小清晰，結構安排合理。書中從haskell的基礎知識講起，涵蓋了所有的基本概念和語法，內容涉及基本語法、遞歸、類型和類型類、函子、applicative 函子、monad、zipper及所有haskell重要特性和強大功能。
目錄
《haskell趣學指南》
第1章 各就各位，預備！ 1
1.1 調用函式 3
1.2 小朋友的第一個函式 4
1.3 列表入門 6
1.3.1 拼接列表 6
1.3.2 訪問列表中的元素 8
1.3.3 嵌套列表 8
1.3.4 比較列表 8
1.3.5 更多列表操作 9
1.4 得州區間 11
1.5 我是列表推導式 13
1.6 元組 16
1.6.1 使用元組 16
1.6.2 使用序對 17
1.6.3 找直角三角形 18
第2章 相信類型 20
2.1 顯式類型聲明 20
2.2 haskell的常見類型 21
2.3 類型變數 22
.2.4 類型類入門 23
2.4.1 eq類型類 24
2.4.2 ord類型類 24
2.4.3 show類型類 25
2.4.4 read類型類 25
2.4.5 enum類型類 27
2.4.6 bounded類型類 27
2.4.7 num類型類 28
2.4.8 floating類型類 28
2.4.9 integeral類型類 28
2.4.10 有關類型類的最後總結 29
第3章 函式的語法 30
3.1 模式匹配 30
3.1.1 元組的模式匹配 32
3.1.2 列表與列表推導式的模式匹配 32
3.1.3 as模式 34
3.2 注意，哨衛! 34
3.3 where？！ 36
3.3.1 where的作用域 37
3.3.2 where中的模式匹配 38
3.3.3 where塊中的函式 38
3.4 let 39
3.4.1 列表推導式中的let 40
3.4.2 ghci中的let 40
3.5 case表達式 41
第4章 你好，遞歸 43
4.1 不可思議的最大值 43
4.2 更多的幾個遞歸函式 45
4.2.1 replicate 45
4.2.2 take 45
4.2.3 reverse 46
4.2.4 repeat 46
4.2.5 zip 46
4.2.6 elem 47
4.3 快點，排序！ 47
4.3.1 算法思路 47
4.3.2 編寫代碼 48
4.4 遞歸地思考 49
第5章 高階函式 50
5.1 柯里函式 50
5.1.1 截斷 52
5.1.2 列印函式 53
5.2 再來點兒高階函式 53
5.2.1 實現zipwith 54
5.2.2 實現flip 55
5.3 函式式程式設計師工具箱 56
5.3.1 map函式 56
5.3.2 filter函式 57
5.3.3 有關map與filter的更多示例 58
5.3.4 映射帶有多個參數的函式 60
5.4 lambda 60
5.5 摺疊紙鶴 62
5.5.1 通過foldl進行左摺疊 63
5.5.2 通過foldr進行右摺疊 63
5.5.3 foldl1函式與foldr1函式 64
5.5.4 摺疊的幾個例子 65
5.5.5 另一個角度看摺疊 66
5.5.6 無限列表的摺疊 67
5.5.7 掃描 68
5.6 有$的函式套用 68
5.7 函式組合 70
5.7.1 帶有多個參數函式的組合 70
5.7.2 point-free風格 71
第6章 模組 73
6.1 導入模組 73
6.2 使用模組中的函式求解問題 75
6.2.1 統計單詞數 75
6.2.2 乾草堆中的縫紉針 76
6.2.3 凱撒密碼沙拉 77
6.2.4 嚴格左摺疊 79
6.2.5 尋找酷數 80
6.3 映射鍵與值 82
6.3.1 幾乎一樣好：關聯列表 82
6.3.2 進入data.map 83
6.4 構造自己的模組 87
6.4.1 幾何模組 87
6.4.2 模組的層次結構 89
第7章 構造我們自己的類型和類型類 91
7.1 定義新的數據類型 91
7.2 成型 92
7.2.1 藉助point數據類型最佳化shape數據類型 93
7.2.2 將圖形導出到模組中 94
7.3 記錄語法 95
7.4 類型參數 97
7.4.1 要不要參數化我們的汽車？ 99
7.4.2 末日向量 100
7.5 派生實例 102
7.5.1 相同的人 102
7.5.2 告訴我怎么讀 103
7.5.3 法庭內保持秩序！ 104
7.5.4 一周的一天 105
7.6 類型別名 106
7.6.1 使我們的電話本更好看些 107
7.6.2 參數化類型別名 108
7.6.3 向左走，向右走 109
7.7 遞歸數據結構 111
7.7.1 最佳化我們的列表 111
7.7.2 種一棵樹 113
7.8 類型類 115
7.8.1 深入eq類型類 116
7.8.2 trafficlight數據類型 116
7.8.3 子類化 118
7.8.4 作為類型類實例的帶參數類型 118
7.9 yes-no類型類 120
7.10 functor類型類 122
7.10.1 maybe函子 124
7.10.2 樹也是函子 124
7.10.3 either a函子 125
7.11 kind與無名類型 126
第8章 輸入與輸出 128
8.1 純粹與非純粹的分離 128
8.2 hello, world！ 129
8.3 組合i/o操作 130
8.3.1 在i/o操作中使用let 132
8.3.2 反過來 133
8.4 幾個實用的i/o函式 135
8.4.1 putstr 135
8.4.2 putchar 135
8.4.3 print 136
8.4.4 when 137
8.4.5 sequence 137
8.4.6 mapm 138
8.4.7 forever 139
8.4.8 form 139
8.5 i/o操作回顧 140
第9章 更多的輸入輸出操作 141
9.1 檔案和流 141
9.1.1 輸入重定向 141
9.1.2 從輸入流獲取字元串 142
9.1.3 轉換輸入 144
9.2 讀寫檔案 146
9.2.1 使用withfile函式 147
9.2.2 bracket的時間到了 148
9.2.3 抓住句柄 149
9.3 todo列表 149
9.3.1 刪除條目 150
9.3.2 清理 152
9.4 命令行參數 153
9.5 關於todo列表的更多有趣的事 154
9.5.1 一個多任務列表 155
9.5.2 處理錯誤的輸入 158
9.6 隨機性 159
9.6.1 擲硬幣 160
9.6.2 更多隨機函式 161
9.6.3 隨機性和i/o 162
9.7 位元組串 165
9.7.1 嚴格的和惰性位元組串 166
9.7.2 用位元組串複製檔案 167
第10章 函式式地解決問題 169
10.1 逆波蘭式計算器 169
10.1.1 計算rpn表達式 169
10.1.2 寫一個rpn函式 170
10.1.3 添加更多的操作符 172
10.2 從希思羅機場到倫敦 173
10.2.1 計算最快的路線 174
10.2.2 在haskell中表示道路系統 176
10.2.3 實現計算最佳路徑的函式 177
10.2.4 從輸入獲取道路系統 179
第11章 applicative函子 182
11.1 函子再現 182
11.1.1 作為函子的i/o操作 183
11.1.2 作為函子的函式 185
11.2 函子定律 187
11.2.1 定律1 188
11.2.2 定律2 188
11.2.3 違反定律 189
11.3 使用applicative函子 191
11.3.1 向applicative問好 192
11.3.2 maybe applicative函子 192
11.3.3 applicative風格 193
11.3.4 列表 195
11.3.5 io也是applicative函子 197
11.3.6 函式作為applicative 198
11.3.7 zip列表 199
11.3.8 applicative定律 200
11.4 applicative的實用函式 201
第12章 monoid 205
12.1 把現有類型包裹成新類型 205
12.1.1 用newtype創建類型類的實例 207
12.1.2 關於newtype的惰性 208
12.1.3 type、newtype和data三者的對比 210
12.2 關於那些monoid 211
12.2.1 monoid類型類 212
12.2.2 monoid定律 213
12.3 認識一些monoid 213
12.3.1 列表是monoid 213
12.3.2 product和sum 214
12.3.3 any和all 216
12.3.4 ordering monoid 217
12.3.5 maybe monoid 219
12.4 monoid的摺疊 221
第13章 更多monad的例子 224
13.1 升級我們的applicative函子 224
13.2 體會maybe 225
13.3 monad類型類 228
13.4 一往無前 229
13.4.1 代碼，代碼，代碼 230
13.4.2 我要飛走 231
13.4.3 線上的香蕉 234
13.5 do記法 235
13.5.1 按我所說的去做 236
13.5.2 我皮埃爾又回來了 237
13.5.3 模式匹配和計算失敗 238
13.6 列表monad 239
13.6.1 do記法和列表推導式 241
13.6.2 monadplus和guard函式 242
13.6.3 馬的探索 243
13.7 monad定律 245
13.7.1 左單位元 246
13.7.2 右單位元 246
13.7.3 結合律 247
第14章 再多一些monad 249
14.1 writer？我沒聽說過啊！ 249
14.1.1 monad趕來營救 251
14.1.2 writer類型 253
14.1.3 對writer使用do記法 254
14.1.4 給程式添加日誌 255
14.1.5 低效的列表構造 257
14.1.6 使用差分列表 258
14.1.7 比較性能 259
14.2 reader？呃，不開玩笑了 260
14.2.1 作為monad的函式 261
14.2.2 reader monad 261
14.3 帶狀態計算的優雅表示 262
14.3.1 帶狀態的計算 263
14.3.2 棧和石頭 264
14.3.3 state monad 265
14.3.4 獲取和設定狀態 267
14.3.5 隨機性和state monad 268
14.4 牆上的error 269
14.5 一些實用的monad式的函式 271
14.5.1 liftm和它的朋友們 271
14.5.2 join函式 274
14.5.3 filterm 276
14.5.4 foldm 278
14.6 創建一個安全的rpn計算器 279
14.7 組合monad式的函式 281
14.8 創建monad 282
第15章 zipper 287
15.1 在樹上移動 287
15.1.1 麵包屑 290
15.1.2 向上走 291
15.1.3 處理焦點處的樹 293
15.1.4 一路走到頂端，那裡的空氣既新鮮又乾淨 294
15.2 在列表上定位 294
15.3 一個非常簡單的檔案系統 295
15.3.1 為檔案系統創建一個zipper 296
15.3.2 操作檔案系統 298
15.4 小心行事 299
15.5 謝謝閱讀！ 301
第1章 各就各位，預備！ 1
1.1 調用函式 3
1.2 小朋友的第一個函式 4
1.3 列表入門 6
1.3.1 拼接列表 6
1.3.2 訪問列表中的元素 8
1.3.3 嵌套列表 8
1.3.4 比較列表 8
1.3.5 更多列表操作 9
1.4 得州區間 11
1.5 我是列表推導式 13
1.6 元組 16
1.6.1 使用元組 16
1.6.2 使用序對 17
1.6.3 找直角三角形 18
第2章 相信類型 20
2.1 顯式類型聲明 20
2.2 haskell的常見類型 21
2.3 類型變數 22
.2.4 類型類入門 23
2.4.1 eq類型類 24
2.4.2 ord類型類 24
2.4.3 show類型類 25
2.4.4 read類型類 25
2.4.5 enum類型類 27
2.4.6 bounded類型類 27
2.4.7 num類型類 28
2.4.8 floating類型類 28
2.4.9 integeral類型類 28
2.4.10 有關類型類的最後總結 29
第3章 函式的語法 30
3.1 模式匹配 30
3.1.1 元組的模式匹配 32
3.1.2 列表與列表推導式的模式匹配 32
3.1.3 as模式 34
3.2 注意，哨衛! 34
3.3 where？！ 36
3.3.1 where的作用域 37
3.3.2 where中的模式匹配 38
3.3.3 where塊中的函式 38
3.4 let 39
3.4.1 列表推導式中的let 40
3.4.2 ghci中的let 40
3.5 case表達式 41
第4章 你好，遞歸 43
4.1 不可思議的最大值 43
4.2 更多的幾個遞歸函式 45
4.2.1 replicate 45
4.2.2 take 45
4.2.3 reverse 46
4.2.4 repeat 46
4.2.5 zip 46
4.2.6 elem 47
4.3 快點，排序！ 47
4.3.1 算法思路 47
4.3.2 編寫代碼 48
4.4 遞歸地思考 49
第5章 高階函式 50
5.1 柯里函式 50
5.1.1 截斷 52
5.1.2 列印函式 53
5.2 再來點兒高階函式 53
5.2.1 實現zipwith 54
5.2.2 實現flip 55
5.3 函式式程式設計師工具箱 56
5.3.1 map函式 56
5.3.2 filter函式 57
5.3.3 有關map與filter的更多示例 58
5.3.4 映射帶有多個參數的函式 60
5.4 lambda 60
5.5 摺疊紙鶴 62
5.5.1 通過foldl進行左摺疊 63
5.5.2 通過foldr進行右摺疊 63
5.5.3 foldl1函式與foldr1函式 64
5.5.4 摺疊的幾個例子 65
5.5.5 另一個角度看摺疊 66
5.5.6 無限列表的摺疊 67
5.5.7 掃描 68
5.6 有$的函式套用 68
5.7 函式組合 70
5.7.1 帶有多個參數函式的組合 70
5.7.2 point-free風格 71
第6章 模組 73
6.1 導入模組 73
6.2 使用模組中的函式求解問題 75
6.2.1 統計單詞數 75
6.2.2 乾草堆中的縫紉針 76
6.2.3 凱撒密碼沙拉 77
6.2.4 嚴格左摺疊 79
6.2.5 尋找酷數 80
6.3 映射鍵與值 82
6.3.1 幾乎一樣好：關聯列表 82
6.3.2 進入data.map 83
6.4 構造自己的模組 87
6.4.1 幾何模組 87
6.4.2 模組的層次結構 89
第7章 構造我們自己的類型和類型類 91
7.1 定義新的數據類型 91
7.2 成型 92
7.2.1 藉助point數據類型最佳化shape數據類型 93
7.2.2 將圖形導出到模組中 94
7.3 記錄語法 95
7.4 類型參數 97
7.4.1 要不要參數化我們的汽車？ 99
7.4.2 末日向量 100
7.5 派生實例 102
7.5.1 相同的人 102
7.5.2 告訴我怎么讀 103
7.5.3 法庭內保持秩序！ 104
7.5.4 一周的一天 105
7.6 類型別名 106
7.6.1 使我們的電話本更好看些 107
7.6.2 參數化類型別名 108
7.6.3 向左走，向右走 109
7.7 遞歸數據結構 111
7.7.1 最佳化我們的列表 111
7.7.2 種一棵樹 113
7.8 類型類 115
7.8.1 深入eq類型類 116
7.8.2 trafficlight數據類型 116
7.8.3 子類化 118
7.8.4 作為類型類實例的帶參數類型 118
7.9 yes-no類型類 120
7.10 functor類型類 122
7.10.1 maybe函子 124
7.10.2 樹也是函子 124
7.10.3 either a函子 125
7.11 kind與無名類型 126
第8章 輸入與輸出 128
8.1 純粹與非純粹的分離 128
8.2 hello, world！ 129
8.3 組合i/o操作 130
8.3.1 在i/o操作中使用let 132
8.3.2 反過來 133
8.4 幾個實用的i/o函式 135
8.4.1 putstr 135
8.4.2 putchar 135
8.4.3 print 136
8.4.4 when 137
8.4.5 sequence 137
8.4.6 mapm 138
8.4.7 forever 139
8.4.8 form 139
8.5 i/o操作回顧 140
第9章 更多的輸入輸出操作 141
9.1 檔案和流 141
9.1.1 輸入重定向 141
9.1.2 從輸入流獲取字元串 142
9.1.3 轉換輸入 144
9.2 讀寫檔案 146
9.2.1 使用withfile函式 147
9.2.2 bracket的時間到了 148
9.2.3 抓住句柄 149
9.3 todo列表 149
9.3.1 刪除條目 150
9.3.2 清理 152
9.4 命令行參數 153
9.5 關於todo列表的更多有趣的事 154
9.5.1 一個多任務列表 155
9.5.2 處理錯誤的輸入 158
9.6 隨機性 159
9.6.1 擲硬幣 160
9.6.2 更多隨機函式 161
9.6.3 隨機性和i/o 162
9.7 位元組串 165
9.7.1 嚴格的和惰性位元組串 166
9.7.2 用位元組串複製檔案 167
第10章 函式式地解決問題 169
10.1 逆波蘭式計算器 169
10.1.1 計算rpn表達式 169
10.1.2 寫一個rpn函式 170
10.1.3 添加更多的操作符 172
10.2 從希思羅機場到倫敦 173
10.2.1 計算最快的路線 174
10.2.2 在haskell中表示道路系統 176
10.2.3 實現計算最佳路徑的函式 177
10.2.4 從輸入獲取道路系統 179
第11章 applicative函子 182
11.1 函子再現 182
11.1.1 作為函子的i/o操作 183
11.1.2 作為函子的函式 185
11.2 函子定律 187
11.2.1 定律1 188
11.2.2 定律2 188
11.2.3 違反定律 189
11.3 使用applicative函子 191
11.3.1 向applicative問好 192
11.3.2 maybe applicative函子 192
11.3.3 applicative風格 193
11.3.4 列表 195
11.3.5 io也是applicative函子 197
11.3.6 函式作為applicative 198
11.3.7 zip列表 199
11.3.8 applicative定律 200
11.4 applicative的實用函式 201
第12章 monoid 205
12.1 把現有類型包裹成新類型 205
12.1.1 用newtype創建類型類的實例 207
12.1.2 關於newtype的惰性 208
12.1.3 type、newtype和data三者的對比 210
12.2 關於那些monoid 211
12.2.1 monoid類型類 212
12.2.2 monoid定律 213
12.3 認識一些monoid 213
12.3.1 列表是monoid 213
12.3.2 product和sum 214
12.3.3 any和all 216
12.3.4 ordering monoid 217
12.3.5 maybe monoid 219
12.4 monoid的摺疊 221
第13章 更多monad的例子 224
13.1 升級我們的applicative函子 224
13.2 體會maybe 225
13.3 monad類型類 228
13.4 一往無前 229
13.4.1 代碼，代碼，代碼 230
13.4.2 我要飛走 231
13.4.3 線上的香蕉 234
13.5 do記法 235
13.5.1 按我所說的去做 236
13.5.2 我皮埃爾又回來了 237
13.5.3 模式匹配和計算失敗 238
13.6 列表monad 239
13.6.1 do記法和列表推導式 241
13.6.2 monadplus和guard函式 242
13.6.3 馬的探索 243
13.7 monad定律 245
13.7.1 左單位元 246
13.7.2 右單位元 246
13.7.3 結合律 247
第14章 再多一些monad 249
14.1 writer？我沒聽說過啊！ 249
14.1.1 monad趕來營救 251
14.1.2 writer類型 253
14.1.3 對writer使用do記法 254
14.1.4 給程式添加日誌 255
14.1.5 低效的列表構造 257
14.1.6 使用差分列表 258
14.1.7 比較性能 259
14.2 reader？呃，不開玩笑了 260
14.2.1 作為monad的函式 261
14.2.2 reader monad 261
14.3 帶狀態計算的優雅表示 262
14.3.1 帶狀態的計算 263
14.3.2 棧和石頭 264
14.3.3 state monad 265
14.3.4 獲取和設定狀態 267
14.3.5 隨機性和state monad 268
14.4 牆上的error 269
14.5 一些實用的monad式的函式 271
14.5.1 liftm和它的朋友們 271
14.5.2 join函式 274
14.5.3 filterm 276
14.5.4 foldm 278
14.6 創建一個安全的rpn計算器 279
14.7 組合monad式的函式 281
14.8 創建monad 282
第15章 zipper 287
15.1 在樹上移動 287
15.1.1 麵包屑 290
15.1.2 向上走 291
15.1.3 處理焦點處的樹 293
15.1.4 一路走到頂端，那裡的空氣既新鮮又乾淨 294
15.2 在列表上定位 294
15.3 一個非常簡單的檔案系統 295
15.3.1 為檔案系統創建一個zipper 296
15.3.2 操作檔案系統 298
15.4 小心行事 299
15.5 謝謝閱讀！ 301
