Real World Haskell 中文版 — Real World Haskell 中文版

2016-11-19 803 阅读12分钟

原文链接： cnhaskell.com

第 1 章：入门
- Haskell编程环境
- 初识解释器ghci
- 基本交互: 把ghci当作一个计算器
- ghci里的命令行编辑
- 列表(Lists)
  - 列表的操作符
- 字符串和字符
- 初识类型
- 行计数程序
- 练习
第 2 章：类型和函数
- 类型是干什么用的？
- Haskell 的类型系统
- 正确理解类型系统
- 一些常用的基本类型
- 调用函数
- 复合数据类型：列表和元组
- 处理列表和元组的函数
  - 将表达式传给函数
- 函数类型
- 纯度
- Haskell 源码，以及简单函数的定义
  - 变量
  - 条件求值
- 通过示例了解求值
- Haskell 里的多态
  - 对多态函数进行推理
  - 延伸阅读
- 多参数函数的类型
- 练习
- 为什么要对纯度斤斤计较？
- 回顾
第 3 章：定义类型并简化函数
- 定义新的数据类型
  - 类型构造器和值构造器的命名
- 类型别名
- 代数数据类型
  - 什么情况下该用元组，而什么情况下又该用代数数据类型？
  - 其他语言里类似代数数据类型的东西
- 模式匹配
- 记录语法
- 参数化类型
- 递归类型
  - 练习
- 报告错误
  - 让过程更可控的方法
- 引入局部变量
- 表达式里的缩进规则和空白字符
  - 对制表符和空格说两句
  - 缩进规则并不是必需
- Case 表达式
- 新手在使用模式时常见的问题
  - 错误地对变量进行匹配
  - 进行了错误的相等比较
- 使用守卫实现条件求值
- 练习
第 4 章：函数式编程
- 使用 Haskell 思考
- 一个简单的命令行程序
- 热身：方便地分离多行文本
  - 一个行终止转换程序
- 中缀函数
- 和列表打交道
- 循环的表示
- 匿名（lambda）函数
- 部分函数应用和柯里化
  - 节
- As-模式
- 通过组合函数来进行代码复用
- 编写可读代码的提示
- 内存泄漏和严格求值
  - 通过 seq 函数避免内存泄漏
  - seq 的用法
第 5 章：编写 JSON 库
- JSON 简介
- 在 Haskell 中表示 JSON 数据
- Haskell 模块
- 编译 Haskell 代码
- 载入模块和生成可执行文件
- 打印 JSON 数据
- 类型推导是一把双刃剑
- 更通用的转换方式
- Haskell 开发诀窍
- 美观打印字符串
- 数组和对象
- 书写模块头
- 完成美观打印库
- 创建包
- 实用链接和扩展阅读
第 6 章：使用类型类
- 类型类的作用
- 什么是类型类？
- 定义类型类实例
- 重要的内置类型类
- 自动派生
- 类型类实战：让 JSON 更好用
  - 让错误信息更有用
  - 使用类型别名创建实例
- 生活在开放世界
- 如何给类型以新身份（new identity）
  - data 和 newtype 声明之间的区别
  - 总结：三种命名类型的方式
- JSON类型类,不带有重叠实例
  - 练习题
- 可怕的单一同态限定（monomorphism restriction）
- 结论
第 7 章：I/O
- Haskell经典I/O
  - Pure vs. I/O
  - 为什么纯不纯很重要？
- 使用文件和句柄（Handle）
- 扩展例子：函数式I/O和临时文件
- 惰性I/O
- The IO Monad
- Haskell 实际上是命令式的吗？
- 惰性I/O的副作用
- 缓冲区（Buffering）
  - 缓冲区模式
  - 刷新缓冲区
- 读取命令行参数
- 环境变量
第 8 章：高效文件处理、正则表达式、文件名匹配
- 高效文件处理
  - 二进制 I/O 和有限载入
  - 文本 I/O
- 匹配文件名
- Haskell 中的正则表达式
  - 结果的多种类型
- 进一步了解正则表达式
  - 不同类型字符串的混合与匹配
  - 你要知道的其他一些事情
- 将 glob 模式翻译为正则表达式
  - 练习
- 重要的题外话：编写惰性函数
- 利用我们的模式匹配器
  - 练习
- 通过 API 设计进行错误处理
  - 练习
- 让我们的代码工作
  - 练习
第 9 章：I/O学习 —— 构建一个用于搜索文件系统的库
- find命令
- 简单的开始：递归遍历目录
  - 再次认识匿名和命名函数
  - 为什么提供 mapM 和 forM
- 一个本地查找函数
- 谓词在保持纯粹的同时支持从贫类型到富类型
- 安全的获得一个文件的大小
  - 请求-使用-释放循环
- 为谓词而开发的领域特定语言
  - 多用提升（lifting）来减少样板代码
  - 谓词组合
- 定义并使用新算符
- 控制遍历
  - 练习
- 代码密度，可读性和学习过程
- 从另一个角度来看遍历
  - 练习
- 编码指南
  - 常用布局风格
- 练习
第 10 章：代码案例学习：解析二进制数据格式
- 灰度文件
- 解析原始 PGM 文件
- 消除样板代码
- 隐式状态
- Functor 简介
- 给 Parse 写一个 Functor 实例
- 利用 Functor 解析
- 重构 PGM 解析器
- 未来方向
- 练习
第 11 章：测试和质量保障
- QuickCheck: 基于类型的测试
  - 性质测试
  - 利用模型进行测试
- 测试案例学习：美观打印器
- 用 HPC 衡量测试覆盖率
第 12 章：条形码识别
- 条形码简介
  - EAN-13编码
- 引入数组
- 生成EAN-13条形码
- 对解码器的约束
- 分而治之
- 将彩色图像转换为更容易处理的形式
- 我们对图像做了哪些处理？
- 寻找匹配的数字
- 没有数组和散列表的日子
- 从成堆的数字中找出答案
- 处理行数据
- 最终装配
- 关于开发方式的一些意见
第 13 章：数据结构
- 关联列表
- Map 类型
- 函数也是数据
- 扩展示例： /etc/password
- 扩展示例：数字类型（Numeric Types）
- 把函数当成数据来用
  - 把差异列表转成库
  - 列表、差异列表和幺半群（monoids）
- 通用序列
第 14 章：Monads
- 简介
- 回顾之前代码
  - Maybe链
  - 隐式状态
- 寻找共同特征
- Monad 类型类
- 术语解释
- 使用新的Monad
- 同时使用puer和monadic代码
- 关于Monad的一些误解
- 创建Logger Monad
  - 顺序的日志，而不是顺序的求值
  - Writer monad
- Maybe monad
  - 执行Maybe monad
  - 使用Maybe，以及好的API设计方式
- List Monad
  - 理解List monad
  - 使用List Monad
- 还原do的本质
  - Monads: 可编程分号
  - 为什么要sugar-free
- 状态monad
- Monad和Functors
  - 换个角度看Monad
- 单子律以及代码风格
第 15 章：使用 Monad 编程
- 高尔夫训练：关联列表
- 广义的提升
- 寻找替代方案
- 隐藏管道
  - 提供随机数
  - 另一轮高尔夫训练
- 将接口与实现分离
- Reader monad
- 返回自动导出
- 隐藏 IO monad
第 16 章：使用Parsec
- Parsec 初步：简单的 CSV parser
- sepBy 与 endBy 组合子
- 选择与错误处理
  - 超前查看
  - 错误处理
- 完整的 CSV parser
- Parsec 与 MonadPlus
- 解析 URL 编码查询字符串
- 用 Parsec 代替正则表达式来进行临时的 parse
- 解析时不用变量
- 使用 Applicative Functor 进行 parse
- 举例：使用 Applicative 进行 parse
- Parse JSON 数据
- Parse HTTP 请求
  - 避免使用回溯
  - Parse HTTP Header
- 练习
第 18 章： Monad变换器
- 动机：避免样板代码
- 简单的Monad变换器实例
- Monad和Monad变换器中的模式
- 叠加多个Monad变换器
- 深入Monad栈中
  - 何时需要显式的抬举？
- 构建以理解Monad变换器
- 注意变换器堆叠顺序
- 纵观Monad与Monad变换器
第 19 章：错误处理
- 使用数据类型进行错误处理
  - 使用Maybe
  - 使用Either
- 异常
- 练习
- monad中的错误处理
  - 一个小的解析构架
  - 级习
第 20 章：使用 Haskell 进行系统编程
- 调用外部程序
- 目录和文件信息
- 终止程序
- 日期和时间
  - ClockTime 和 CalendarTime
  - 文件修改日期
- 延伸的例子: 管道
第 21 章：数据库的使用
- HDBC 简介
- 安装 HDBC 和驱动
- 连接数据库
- 事务
- 简单的查询示例
- SqlValue
- 查询参数
- 预备语句
- 读取结果
  - 使用语句进行数据读取操作
  - 惰性读取
- 数据库元数据
- 错误处理
第 22 章：扩展示例 —— Web 客户端编程
- 基本类型
- 数据库
- 分析器
- 下载
- 主程序
第 23 章：用 gtk2hs 进行图形界面编程
- 安装 gtk2hs
- 概览 GTK+ 开发栈
- 使用 Glade 进行用户界面设计
- Glade 基本概念
- 基于事件编程
- 初始化 GUI
- 增加播客窗口
- 长时间执行的任务
- 使用 Cabal
- 练习
第 24 章：并发和多核编程
- 定义并发和并行
- 用线程进行并发编程
  - 线程的不确定性
  - 隐藏延迟
- 线程间的简单通信
- 主线程等待其他线程
- 使用频道通信
- 注意事项
  - MVar 和 Chan 是非严格的
  - Chan 是无边界的
- 共享状态的并发仍不容易
- 练习
- 在 GHC 中使用多核
- Parallel programming in Haskell
  - Normal form and head normal form
- Parallel strategies and MapReduce
第 25 章：性能剖析与优化
- Haskell 程序性能剖析
- 控制求值
- 理解核心语言
- 高级技术：fusion(融合)
  - 调整生成的汇编代码
- 结论
第26章高级库设计：构建一个布隆过滤器
- 布隆过滤器介绍
- 使用场景与封装设计
- 基本设计
  - 拆箱，提升和bottom
- ST monad
- 设计一个合格的输入API
第 27 章：Socket 和 Syslog
- 基本网络
- 使用 UDP 通信
  - UDP 客户端例子：syslog
  - UDP Syslog 服务器
- 使用 TCP 通信
第 28 章：软件事务内存 (STM)
- 基础知识
- 一些简单的例子
- STM的安全性
- 重试一个事务
  - retry 时到底发生了什么?
- 选择替代方案
  - 在事务中使用高阶代码
- I/O 和 STM
- 线程之间的通讯
- 并发网络链接检查器
- STM的实践意义
  - 合理的放弃控制权
  - 使用不变量