-
第十三章 数据结构
第 13 章：数据结构 关联列表 Map 类型 函数也是数据 扩展示例： /etc/password 扩展示例：数字类型（Numeric Types） 第一步 完整代码 练习 把函数当成数据来用 把差异列表转成库 列表、差异列表和幺半群（monoids） 通用序列 第 13 章：数据结构 关联列表 我们常常会跟一些以键为索... -
第二十章 使用 Haskell 进行系统编程
第 20 章：使用 Haskell 进行系统编程 调用外部程序 目录和文件信息 终止程序 日期和时间 ClockTime 和 CalendarTime 使用 ClockTime 使用 CalendarTime ClockTime 的 TimeDiff 文件修改日期 延伸的例子: 管道 使用管道做重定向 更好的管道 关于管道，最后说几句 ... -
第二十五章 性能剖析与优化
第 25 章：性能剖析与优化 Haskell 程序性能剖析 收集运行时统计信息 时间剖析 空间剖析 控制求值 严格执行和尾递归 增加严格执行 Normal form reduction Bang patterns 严格的数据类型 理解核心语言 高级技术：fusion(融合) 调整生成的汇编代码 结论 第 25 章：性能剖析... -
第五章 控件
控件 (Widgets) 概要 控件由哪些元素构成？ 构造控件 组合控件 (Combining Widgets) 生成ID whamlet 类型 使用控件 使用处理函数 小结 控件 (Widgets) Web开发的一个挑战是我们要整合三种不同的客户端技术：HTML、CSS和Javascript。更糟 的是，我们必须把它们放在页面的... -
第二十八章：软件事务内存 (STM)
第 28 章：软件事务内存 (STM) 基础知识 一些简单的例子 STM的安全性 重试一个事务 retry 时到底发生了什么? 选择替代方案 在事务中使用高阶代码 I/O 和 STM 线程之间的通讯 并发网络链接检查器 检查一个链接 工作者线程 查找链接 命令行的实现 模式守卫 (Pattern guards) STM的实践意义... -
第十一章 测试和质量保障
第 11 章：测试和质量保障 QuickCheck: 基于类型的测试 性质测试 利用模型进行测试 测试案例学习：美观打印器 生成测试数据 测试文档构建 以列表为模型 完成测试框架 用 HPC 衡量测试覆盖率 第 11 章：测试和质量保障 构建真实系统意味着我们要关心系统的质量控制，健壮性和正确性。有了正确的质量保障机制，良好编写的代... -
第十一章 部署你的web应用
部署你的web应用 编译 需要部署的文件 Warp服务器 配置 服务器进程 FastCGI 桌面 在Apache上运行CGI lightppd上的FastCGI lighttpd上的CGI 部署你的web应用 我不知道别人怎样，但我自己是喜欢编程胜过做系统管理。但事实是，最终，你需要将你 的应用放到服务器上，而且很有可能你会是那个... -
第三章 定义类型并简化函数
第 3 章：定义类型并简化函数 定义新的数据类型 类型构造器和值构造器的命名 类型别名 代数数据类型 什么情况下该用元组，而什么情况下又该用代数数据类型？ 其他语言里类似代数数据类型的东西 结构 枚举 联合 模式匹配 组成和解构 更进一步 模式匹配中的变量名命名 通配符模式匹配 穷举匹配模式和通配符 记录语法 参数化类型 递... -
第八章 高效文件处理、正则表达式、文件名匹配
第 8 章：高效文件处理、正则表达式、文件名匹配 高效文件处理 二进制 I/O 和有限载入 文本 I/O 匹配文件名 Haskell 中的正则表达式 结果的多种类型 进一步了解正则表达式 不同类型字符串的混合与匹配 你要知道的其他一些事情 将 glob 模式翻译为正则表达式 练习 重要的题外话：编写惰性函数 利用我们的模式匹配器 练习... -
第二十二章 扩展示例 —— Web 客户端编程
第 22 章：扩展示例 —— Web 客户端编程 基本类型 数据库 分析器 下载 主程序 第 22 章：扩展示例 —— Web 客户端编程 到目前为止， 我们已经了解过如何与数据库进行交互、如何进行语法分析（parse）以及如何处理错误。 接下来， 让我们更进一步， 通过引入一个 web 客户端库来将这些知识结合在一起。 在这一章， 我们...