齣版者的話
譯者序
前言
第1章何謂函數式程序設計
1.1函數和類型
1.2函數復閤
1.3例子：高頻詞
1.4例子：數字轉換為詞
1.5Haskell平颱
1.6習題
1.7答案
1.8注記
第2章錶達式、類型和值
2.1GHCi會話
2.2名稱和運算符
2.3求值
2.4類型和類族
2.5打印值
2.6模塊
2.7Haskell版麵
2.8習題
2.9答案
2.10注記
第3章數
3.1類族Num
3.2其他數值類族
3.3取底函數的計算
3.4自然數
3.5習題
3.6答案
3.7注記
第4章列錶
4.1列錶記法
4.2枚舉
4.3列錶概括
4.4—些基本運算
4.5串聯
4.6函數cancat、map和filter
4.7函數zip和zipWith
4.8高頻詞的完整解
4.9習題
4.10答案
4.11注記
第5章一個簡單的數獨求解器
5.1問題說明
5.2閤法程序的構造
5.3修剪選擇矩陣
5.4格子的擴展
5.5習題
5.6答案
5.7注記
第6章證明
6.1自然數上的歸納法
6.2列錶歸納法
6.3函數foldr
6.4函數foldl
6.5函數scanl
6.6最大連續段和問題
6.7習題
6.8答案
6.9注記
第7章效率
7.1惰性求值
7.2空間的控製
7.3運行時間的控製
7.4時間分析
7.5纍積參數
7.6元組
7.7排序
7.8習題
7.9答案
7.10注記
第8章精美打印
8.1問題背景
8.2文檔
8.3—種直接實現
8.4例子
8.5最佳格式
8.6項錶示
8.7習題
8.8答案
8.9注記
第9章無窮列錶
9.1復習
9.2循環列錶
9.3作為極限的無窮列錶
9.4石頭—剪刀—布
9.5基於流的交互
9.6雙嚮鏈錶
9.7習題
9.8答案
9.9注記
第10章命令式函數式程序設計
10.110單子
10.2更多的單子
10.3狀態單子
10.4ST單子
10.5可變數組
10.6不變數組
10.7習題
10.8答案
10.9注記
第11章句法分析
11.1單子句法分析器
11.2基本分析器
11.3選擇與重復
11.4語法與錶達式
11.5顯示錶達式
11.6習題
11.7答案
11.8注記
第12章一個簡單的等式計算器
12.1基本思想
12.2錶達式
12.3定律
12.4計算
12.5重寫
12.6匹配
12.7代換
12.8測試計算器
12.9習題
12.10答案
12.11注記
索引
· · · · · · (收起)