第 2 章：类型和函数 类型是干什么用的？ Haskell 的类型系统 强类型 静态类型 类型推导 正确理解类型系统 一些常用的基本类型 调用函数 复合数据类型：列表和元组 处理列表和元组的函数 将表达式传给函数 函数类型 纯度 Haskell 源码，以及简单函数的定义 变量 条件求值 通过示例了解求值 惰性求值 一个更复杂...

会话 客户会话 (ClientSession) 控制会话 会话操作 消息 最终目的(Ultimate Destination) 小结 会话 HTTP是一个无状态的协议。虽然有些人把无状态性视为HTTP的缺点，RESTful的支持者却 夸赞其为优点。当把状态移除以后，我们自动得到了一些好处，比如更容易扩展和缓存。 你可以大体上用HTTP的无...

Generator 函数的异步应用 传统方法 基本概念 异步 回调函数 Promise Generator 函数 协程 协程的 Generator 函数实现 Generator 函数的数据交换和错误处理 异步任务的封装 Thunk 函数 参数的求值策略 Thunk 函数的含义 JavaScript 语言的 Thunk 函数 Thun...

第 18 章： Monad变换器 动机： 避免样板代码 简单的Monad变换器实例 Monad和Monad变换器中的模式 叠加多个Monad变换器 缺失的类型参数呢？ 隐藏细节 练习 深入Monad栈中 何时需要显式的抬举？ 构建以理解Monad变换器 建立Monad变换器 更多的类型类实例 以Monad栈替代Parse类型 练习 ...

五、自定义容器（Container） 五、自定义容器（Container） 经过之前编章的介绍，我们知道在 Python 中，常见的容器类型有: dict, tuple, list, string。其中也提到过可容器和不可变容器的概念。其中 tuple, string 是不可变容器，dict, list 是可变容器。 可变容器和不可变容器的区别...

第 27 章：Socket 和 Syslog 基本网络 使用 UDP 通信 UDP 客户端例子：syslog UDP Syslog 服务器 使用 TCP 通信 处理多个 TCP 流 TCP Syslog 服务器 TCP Syslog 客户端 第 27 章：Socket 和 Syslog 基本网络 本书的前几章，我们讨论了在网络上进...

Yeosd Book目录 译者注 Yeosd Book目录 第一章 引言 第二章 Haskell 第三章 基础 第四章 莎氏模板 第五章 控件 第六章 Yesod型类 第七章 路由和处理函数 第八章 表单 第九章 会话 第十章 Persistent 第十一章 部署你的web应用 译者注 翻译这本书完全...

函数式编程 柯里化 函数合成 参数倒置 执行边界 队列操作 合并操作 配对操作 参考链接 函数式编程 JavaScript 语言从一诞生，就具有函数式编程的烙印。它将函数作为一种独立的数据类型，与其他数据类型处于完全平等的地位。在 JavaScript 语言中，你可以采用面向对象编程，也可以采用函数式编程。有人甚至说，JavaScri...