Haskell函式式程式設計

《Haskell函式式程式設計》是一部由機械工業出版社出版發行的書籍，作者是[英]理察·伯德。

基本介紹

• 書名：Haskell函式式程式設計
• 作者：[英]理察·伯德
• ISBN：9787111529323 
• 出版社：機械工業出版社

出版信息

出版社：機械工業出版社

ISBN：9787111529323

版次：1

商品編碼：11886256

品牌：機工出版

包裝：平裝

叢書名：計算機科學叢書

開本：16開

出版時間：2016-03-01

用紙：膠版紙

頁數：233

內容簡介

本書通過Haskell語言介紹函式式程式設計的基本思想和方法，講解如何將數學思維套用於程式設計問題，以實現更高效的計算。本書涵蓋Haskell的諸多特性，但並不是這門語言的參考指南，而是旨在利用豐富的實例和練習揭示函式式程式設計的本質。本書不要求讀者具備程式設計基礎，所涉及的數學知識也並不高深，既適合初學者閱讀，也適合有經驗的程式設計師參考。

目錄

出版者的話

譯者序

前言

第1章何謂函式式程式設計1

1.1函式和類型1

1.2函式複合2

1.3例子：高頻詞2

1.4例子：數字轉換為詞5

1.5Haskell平台8

1.6習題9

1.7答案11

1.8註記13

第2章表達式、類型和值15

2.1GHCi會話15

2.2名稱和運算符17

2.3求值18

2.4類型和類族20

2.5列印值22

2.6模組24

2.7Haskell版面24

2.8習題25

2.9答案29

2.10註記32

第3章數33

3.1類族Num33

3.2其他數值類族33

3.3取底函式的計算35

3.4自然數37

3.5習題39

3.6答案40

3.7註記41

第4章列表42

4.1列表記法42

4.2枚舉43

4.3列表概括43

4.4一些基本運算45

4.5串聯46

4.6函式cancat、map和filter46

4.7函式zip和zipWith49

4.8高頻詞的完整解50

4.9習題52

4.10答案55

4.11註記58

第5章一個簡單的數獨求解器59

5.1問題說明59

5.2合法程式的構造63

5.3修剪選擇矩陣64

5.4格子的擴展67

5.5習題70

5.6答案71

5.7註記72

第6章證明73

6.1自然數上的歸納法73

6.2列表歸納法74

6.3函式foldr78

6.4函式foldl81

6.5函式scanl83

6.6最大連續段和問題84

6.7習題87

6.8答案90

6.9註記96第7章效率977.1惰性求值97

7.2空間的控制100

7.3運行時間的控制103

7.4時間分析104

7.5累積參數106

7.6元組109

7.7排序112

7.8習題115

7.9答案117

7.10註記120

第8章精美列印121

8.1問題背景121

8.2文檔122

8.3一種直接實現125

8.4例子126

8.5最佳格式128

8.6項表示129

8.7習題133

8.8答案135

8.9註記139

第9章無窮列表140

9.1複習140

9.2循環列表141

9.3作為極限的無窮列表143

9.4石頭剪刀布147

9.5基於流的互動151

9.6雙向鍊表152

9.7習題154

9.8答案156

9.9註記158

第10章命令式函式式程式設計159

10.1IO單子159

10.2更多的單子162

10.3狀態單子165

10.4ST單子167

10.5可變數組169

10.6不變數組173

10.7習題175

10.8答案178

10.9註記183

第11章句法分析184

11.1單子句法分析器184

11.2基本分析器186

11.3選擇與重複187

11.4語法與表達式190

11.5顯示表達式192

11.6習題194

11.7答案196

11.8註記198

第12章一個簡單的等式計算器199

12.1基本思想199

12.2表達式203

12.3定律206

12.4計算208

12.5重寫210

12.6匹配211

12.7代換213

12.8測試計算器214

12.9習題221

12.10答案222

12.11註記224

索引225