App 下载
注册
登录
|
搜索
正在搜索中...
首页
我的书架
我的主页
我的收藏
我的书评
函数式编程（FP）是一种软件开发风格，它注重不依赖于编程状态的函数。函数式代码易于测试和复用，容易实现并发，且不容易受到bug的攻击。Scala是一种能很好支持函数式编程
……
[ 展开全部 ]
的新兴JVM语言。《Scala函数式编程》是针对希望学习FP并将它应用于日常编码中的程序员而写的，内容包括：函数式编程的概念；函数式编程相关的各种“为什么”和“怎么做”；如何编写多核程序；练习和检测。
[ 收起 ]
作者：Paul Chiusano，Rúnar Bjarnason
出版社：电子工业出版社
定价：CNY 69.00
ISBN：7121283301
给个评价
做个书摘
书摘 (21 )
评价 (1 )
查看所有书摘
按目录显示书摘
只显示目录
原推荐序
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
序言
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
致谢
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
关于本书
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
函数式编程介绍
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1什么是函数式编程
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．1 函数式编程的好处：一个简单的例子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．1．1 一段带有副作用的程序
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．1．2 函数式的解法：去除副作用
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．2 （纯）函数究竟是什么
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．3 引用透明、纯粹度以及替代模型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
1．4 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2在Scala中使用函数式编程
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．1 Scala语言介绍：
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．2 运行程序
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．3 模块、对象和命名空间
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．4 高阶函数：把函数传给函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．4．1 迂回做法：使用循环方式
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．4．2 第一个高阶函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．5 多态函数：基于类型的抽象
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．5．1 一个多态函数的例子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．5．2 对高阶函数传入匿名函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．6 通过类型来实现多态
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
2．7 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3函数式数据结构
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．1 定义函数式数据结构
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．2 模式匹配
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．3 函数式数据结构中的数据共享
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．3．1 数据共享的效率
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．3．2 改进高阶函数的类型推导
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．4 基于list的递归并泛化为高阶函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．4．1 更多与列表相关的函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．4．2 用简单组件组合list函数时的效率损失
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．5 树
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
3．6 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4不是用异常来处理错误
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．1 异常的优点与劣势
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．2 异常的其他选择
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．3 Option数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．3．1 Option的使用模式
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．3．2 Option的组合、提升及对面向异常的API的包装
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．4 Either数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
4．5 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5严格求值和惰性求值
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．1 严格和非严格函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．2 一个扩展例子：惰性列表
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．2．1 对Stream保持记忆，避免重复运算
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．2．2 用于检测Stream的helper函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．3 把函数的描述与求值分离
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．4 无限流与共递归
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
5．5 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6纯函数式状态
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．1 以副作用方式生成随机数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．2 纯函数式随机数生成器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．3 用纯函数式实现带状态的API
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．4 状态行为的更好的API
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．4．1 组合状态行为
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．4．2 嵌套状态行为
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．5 更通用的状态行为数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．6 纯函数式命令编程
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
6．7 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
功能设计和组合子库
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7纯函数式的并行计算
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．1 选择数据类型和函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．1．1 一种用于并行计算的数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．1．2 组合并行计算
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．1．3 显性分流
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．2 确定表现形式
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．3 完善API
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．4 API与代数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．4．1 映射法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．4．2 分流法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．4．3 打破法则：一个微妙的bug
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．4．4 用Actor实现一个完全无阻塞的Par
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．5 完善组合子为更通用的形式
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
7．6 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8基于性质的测试
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．1 基于性质测试概览
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2 选择数据类型和函数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2．1 API的初始代码片段
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2．2 性质的含义与API
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2．3 生成器的意义和API
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2．4 生成值决定生成器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．2．5 精炼Prop的数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．3 最小化测试用例
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．4 使用库并改进其易用性
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．4．1 一些简单的例子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．4．2 为并行计算编写测试套件
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．5 测试高阶函数及展望未来
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．6 生成器法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
8．7 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9语法分析器组合子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．1 代数设计，走起
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．2 一种可能的代数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．2．1 切片和非空重复
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．3 处理上下文的相关性
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．4 写一个JSON分析器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．4．1 JSON格式
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．4．2 JSON分析器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．5 错误提示
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．5．1 一种可行的设计
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．5．2 错误嵌套
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．5．3 控制分支和回溯轨迹
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6 实现代数
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6．1 一种可能的实现
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6．2 串化分析器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6．3 标记分析器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6．4 故障转移和回溯
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．6．5 上下文相关的分析
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
9．7 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
函数设计的通用结构
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10Monoid
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．1 什么是monoid
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．2 使用monoid折叠列表
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．3 结合律和并行化
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．4 例子：并行解析
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．5 可折叠数据结构
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．6 组合monoid
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．6．1 组装更加复杂的monoid
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．6．2 使用组合的monoid融合多个遍历
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
10．7 小结 151
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11Monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．1 函子：对map函数的泛化
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．1．1 函子法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．2 Monad：对flatMap和unit函数的泛化
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．3 Monadic组合子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．4 单子定律
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．4．1 结合法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．4．2 为指定的monad证明结合法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．4．3 单位元法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．5 什么是monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．5．1 identity monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．5．2 状态monad和partial type application
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
11．6 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12可应用和可遍历函子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．1 泛化单子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．2 Applicative trait
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．3 单子与可应用函子的区别
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．3．1 对比Option applicative与Option monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．3．2 对比Parser applicative与Parser monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．4 可应用函子的优势
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．4．1 不是所有的可应用函子都是Monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．5 可应用法则
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．5．1 Left and right identity
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．5．2 结合律
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．5．3 Naturality of product
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．6 可遍历函子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7 使用Traverse
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．1 从monoid到可应用函子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．2 带状态的遍历
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．3 组合可遍历结构
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．4 遍历融合
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．5 嵌套遍历
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．7．6 Monad组合
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
12．8 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
作用与I/O
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13外部作用和I/O
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．1 分解作用13．2 一个简单的IO类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．2．1 处理输入效果
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．2．2 简单IO类型的优缺点
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．3 避免栈溢出
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．3．1 将一个控制流转化为数据构造子
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．3．2 Trampolining：栈溢出的通用解决方法
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．4 一个更微妙的IO类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．4．1 合理的monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．4．2 一个支持控制台I/O的monad
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．4．3 纯解释器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．5 非阻塞和异步I/O
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．6 一个通用的IO类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．6．1 最终的main程序
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．7 为什么IO类型不足以支撑流式I/O
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
13．8 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14本地影响和可变状态
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．1 纯函数式的可变状态
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2 一种限制副作用范围的数据类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2．1 受限可变性的语言表达
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2．2 一种可变引用的代数表达
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2．3 执行修改状态的行为
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2．4 可变数组
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．2．5 一个纯函数的in-place快排实现
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．3 纯粹是相对于上下文的
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．3．1 副作用是什么？
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
14．4 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15流式处理与增量I/O
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．1 命令式I/O的问题示例
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．2 一个简单的流转换器
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．2．1 创建Process
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．2．2 组合和追加处理
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．2．3 处理文件
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3 可扩展的处理类型
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．1 来源
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．2 保证资源安全
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．3 单一输入过程
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．4 多个输入流
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．5 去向
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．6 Effectful通道
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．3．7 动态资源分配
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．4 应用场景
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
15．5 小结
还没有人在此章节添加过书摘，赶紧来抢第一吧！
在此章节添加书摘
导购链接
×
做书摘
文字书摘
读图识字
至少还需要输入
10
字
保存原图片为书摘
上传图片
识别
最多输入
500
个字
上传图片
重新上传
写点笔记吧
至少还需要输入
10
字
章节（选填）
原推荐序
序言
致谢
关于本书
函数式编程介绍
1什么是函数式编程
1．1 函数式编程的好处：一个简单的例子
1．1．1 一段带有副作用的程序
1．1．2 函数式的解法：去除副作用
1．2 （纯）函数究竟是什么
1．3 引用透明、纯粹度以及替代模型
1．4 小结
2在Scala中使用函数式编程
2．1 Scala语言介绍：
2．2 运行程序
2．3 模块、对象和命名空间
2．4 高阶函数：把函数传给函数
2．4．1 迂回做法：使用循环方式
2．4．2 第一个高阶函数
2．5 多态函数：基于类型的抽象
2．5．1 一个多态函数的例子
2．5．2 对高阶函数传入匿名函数
2．6 通过类型来实现多态
2．7 小结
3函数式数据结构
3．1 定义函数式数据结构
3．2 模式匹配
3．3 函数式数据结构中的数据共享
3．3．1 数据共享的效率
3．3．2 改进高阶函数的类型推导
3．4 基于list的递归并泛化为高阶函数
3．4．1 更多与列表相关的函数
3．4．2 用简单组件组合list函数时的效率损失
3．5 树
3．6 小结
4不是用异常来处理错误
4．1 异常的优点与劣势
4．2 异常的其他选择
4．3 Option数据类型
4．3．1 Option的使用模式
4．3．2 Option的组合、提升及对面向异常的API的包装
4．4 Either数据类型
4．5 小结
5严格求值和惰性求值
5．1 严格和非严格函数
5．2 一个扩展例子：惰性列表
5．2．1 对Stream保持记忆，避免重复运算
5．2．2 用于检测Stream的helper函数
5．3 把函数的描述与求值分离
5．4 无限流与共递归
5．5 小结
6纯函数式状态
6．1 以副作用方式生成随机数
6．2 纯函数式随机数生成器
6．3 用纯函数式实现带状态的API
6．4 状态行为的更好的API
6．4．1 组合状态行为
6．4．2 嵌套状态行为
6．5 更通用的状态行为数据类型
6．6 纯函数式命令编程
6．7 小结
功能设计和组合子库
7纯函数式的并行计算
7．1 选择数据类型和函数
7．1．1 一种用于并行计算的数据类型
7．1．2 组合并行计算
7．1．3 显性分流
7．2 确定表现形式
7．3 完善API
7．4 API与代数
7．4．1 映射法则
7．4．2 分流法则
7．4．3 打破法则：一个微妙的bug
7．4．4 用Actor实现一个完全无阻塞的Par
7．5 完善组合子为更通用的形式
7．6 小结
8基于性质的测试
8．1 基于性质测试概览
8．2 选择数据类型和函数
8．2．1 API的初始代码片段
8．2．2 性质的含义与API
8．2．3 生成器的意义和API
8．2．4 生成值决定生成器
8．2．5 精炼Prop的数据类型
8．3 最小化测试用例
8．4 使用库并改进其易用性
8．4．1 一些简单的例子
8．4．2 为并行计算编写测试套件
8．5 测试高阶函数及展望未来
8．6 生成器法则
8．7 小结
9语法分析器组合子
9．1 代数设计，走起
9．2 一种可能的代数
9．2．1 切片和非空重复
9．3 处理上下文的相关性
9．4 写一个JSON分析器
9．4．1 JSON格式
9．4．2 JSON分析器
9．5 错误提示
9．5．1 一种可行的设计
9．5．2 错误嵌套
9．5．3 控制分支和回溯轨迹
9．6 实现代数
9．6．1 一种可能的实现
9．6．2 串化分析器
9．6．3 标记分析器
9．6．4 故障转移和回溯
9．6．5 上下文相关的分析
9．7 小结
函数设计的通用结构
10Monoid
10．1 什么是monoid
10．2 使用monoid折叠列表
10．3 结合律和并行化
10．4 例子：并行解析
10．5 可折叠数据结构
10．6 组合monoid
10．6．1 组装更加复杂的monoid
10．6．2 使用组合的monoid融合多个遍历
10．7 小结 151
11Monad
11．1 函子：对map函数的泛化
11．1．1 函子法则
11．2 Monad：对flatMap和unit函数的泛化
11．3 Monadic组合子
11．4 单子定律
11．4．1 结合法则
11．4．2 为指定的monad证明结合法则
11．4．3 单位元法则
11．5 什么是monad
11．5．1 identity monad
11．5．2 状态monad和partial type application
11．6 小结
12可应用和可遍历函子
12．1 泛化单子
12．2 Applicative trait
12．3 单子与可应用函子的区别
12．3．1 对比Option applicative与Option monad
12．3．2 对比Parser applicative与Parser monad
12．4 可应用函子的优势
12．4．1 不是所有的可应用函子都是Monad
12．5 可应用法则
12．5．1 Left and right identity
12．5．2 结合律
12．5．3 Naturality of product
12．6 可遍历函子
12．7 使用Traverse
12．7．1 从monoid到可应用函子
12．7．2 带状态的遍历
12．7．3 组合可遍历结构
12．7．4 遍历融合
12．7．5 嵌套遍历
12．7．6 Monad组合
12．8 小结
作用与I/O
13外部作用和I/O
13．1 分解作用13．2 一个简单的IO类型
13．2．1 处理输入效果
13．2．2 简单IO类型的优缺点
13．3 避免栈溢出
13．3．1 将一个控制流转化为数据构造子
13．3．2 Trampolining：栈溢出的通用解决方法
13．4 一个更微妙的IO类型
13．4．1 合理的monad
13．4．2 一个支持控制台I/O的monad
13．4．3 纯解释器
13．5 非阻塞和异步I/O
13．6 一个通用的IO类型
13．6．1 最终的main程序
13．7 为什么IO类型不足以支撑流式I/O
13．8 小结
14本地影响和可变状态
14．1 纯函数式的可变状态
14．2 一种限制副作用范围的数据类型
14．2．1 受限可变性的语言表达
14．2．2 一种可变引用的代数表达
14．2．3 执行修改状态的行为
14．2．4 可变数组
14．2．5 一个纯函数的in-place快排实现
14．3 纯粹是相对于上下文的
14．3．1 副作用是什么？
14．4 小结
15流式处理与增量I/O
15．1 命令式I/O的问题示例
15．2 一个简单的流转换器
15．2．1 创建Process
15．2．2 组合和追加处理
15．2．3 处理文件
15．3 可扩展的处理类型
15．3．1 来源
15．3．2 保证资源安全
15．3．3 单一输入过程
15．3．4 多个输入流
15．3．5 去向
15．3．6 Effectful通道
15．3．7 动态资源分配
15．4 应用场景
15．5 小结
页码（选填）
这本书已经添加了这些章节，请勾选或者新建你的书摘所属的章节
add
up
down
remove
原推荐序
序言
致谢
关于本书
函数式编程介绍
1什么是函数式编程
1．1 函数式编程的好处：一个简单的例子
1．1．1 一段带有副作用的程序
1．1．2 函数式的解法：去除副作用
1．2 （纯）函数究竟是什么
1．3 引用透明、纯粹度以及替代模型
1．4 小结
2在Scala中使用函数式编程
2．1 Scala语言介绍：
2．2 运行程序
2．3 模块、对象和命名空间
2．4 高阶函数：把函数传给函数
2．4．1 迂回做法：使用循环方式
2．4．2 第一个高阶函数
2．5 多态函数：基于类型的抽象
2．5．1 一个多态函数的例子
2．5．2 对高阶函数传入匿名函数
2．6 通过类型来实现多态
2．7 小结
3函数式数据结构
3．1 定义函数式数据结构
3．2 模式匹配
3．3 函数式数据结构中的数据共享
3．3．1 数据共享的效率
3．3．2 改进高阶函数的类型推导
3．4 基于list的递归并泛化为高阶函数
3．4．1 更多与列表相关的函数
3．4．2 用简单组件组合list函数时的效率损失
3．5 树
3．6 小结
4不是用异常来处理错误
4．1 异常的优点与劣势
4．2 异常的其他选择
4．3 Option数据类型
4．3．1 Option的使用模式
4．3．2 Option的组合、提升及对面向异常的API的包装
4．4 Either数据类型
4．5 小结
5严格求值和惰性求值
5．1 严格和非严格函数
5．2 一个扩展例子：惰性列表
5．2．1 对Stream保持记忆，避免重复运算
5．2．2 用于检测Stream的helper函数
5．3 把函数的描述与求值分离
5．4 无限流与共递归
5．5 小结
6纯函数式状态
6．1 以副作用方式生成随机数
6．2 纯函数式随机数生成器
6．3 用纯函数式实现带状态的API
6．4 状态行为的更好的API
6．4．1 组合状态行为
6．4．2 嵌套状态行为
6．5 更通用的状态行为数据类型
6．6 纯函数式命令编程
6．7 小结
功能设计和组合子库
7纯函数式的并行计算
7．1 选择数据类型和函数
7．1．1 一种用于并行计算的数据类型
7．1．2 组合并行计算
7．1．3 显性分流
7．2 确定表现形式
7．3 完善API
7．4 API与代数
7．4．1 映射法则
7．4．2 分流法则
7．4．3 打破法则：一个微妙的bug
7．4．4 用Actor实现一个完全无阻塞的Par
7．5 完善组合子为更通用的形式
7．6 小结
8基于性质的测试
8．1 基于性质测试概览
8．2 选择数据类型和函数
8．2．1 API的初始代码片段
8．2．2 性质的含义与API
8．2．3 生成器的意义和API
8．2．4 生成值决定生成器
8．2．5 精炼Prop的数据类型
8．3 最小化测试用例
8．4 使用库并改进其易用性
8．4．1 一些简单的例子
8．4．2 为并行计算编写测试套件
8．5 测试高阶函数及展望未来
8．6 生成器法则
8．7 小结
9语法分析器组合子
9．1 代数设计，走起
9．2 一种可能的代数
9．2．1 切片和非空重复
9．3 处理上下文的相关性
9．4 写一个JSON分析器
9．4．1 JSON格式
9．4．2 JSON分析器
9．5 错误提示
9．5．1 一种可行的设计
9．5．2 错误嵌套
9．5．3 控制分支和回溯轨迹
9．6 实现代数
9．6．1 一种可能的实现
9．6．2 串化分析器
9．6．3 标记分析器
9．6．4 故障转移和回溯
9．6．5 上下文相关的分析
9．7 小结
函数设计的通用结构
10Monoid
10．1 什么是monoid
10．2 使用monoid折叠列表
10．3 结合律和并行化
10．4 例子：并行解析
10．5 可折叠数据结构
10．6 组合monoid
10．6．1 组装更加复杂的monoid
10．6．2 使用组合的monoid融合多个遍历
10．7 小结 151
11Monad
11．1 函子：对map函数的泛化
11．1．1 函子法则
11．2 Monad：对flatMap和unit函数的泛化
11．3 Monadic组合子
11．4 单子定律
11．4．1 结合法则
11．4．2 为指定的monad证明结合法则
11．4．3 单位元法则
11．5 什么是monad
11．5．1 identity monad
11．5．2 状态monad和partial type application
11．6 小结
12可应用和可遍历函子
12．1 泛化单子
12．2 Applicative trait
12．3 单子与可应用函子的区别
12．3．1 对比Option applicative与Option monad
12．3．2 对比Parser applicative与Parser monad
12．4 可应用函子的优势
12．4．1 不是所有的可应用函子都是Monad
12．5 可应用法则
12．5．1 Left and right identity
12．5．2 结合律
12．5．3 Naturality of product
12．6 可遍历函子
12．7 使用Traverse
12．7．1 从monoid到可应用函子
12．7．2 带状态的遍历
12．7．3 组合可遍历结构
12．7．4 遍历融合
12．7．5 嵌套遍历
12．7．6 Monad组合
12．8 小结
作用与I/O
13外部作用和I/O
13．1 分解作用13．2 一个简单的IO类型
13．2．1 处理输入效果
13．2．2 简单IO类型的优缺点
13．3 避免栈溢出
13．3．1 将一个控制流转化为数据构造子
13．3．2 Trampolining：栈溢出的通用解决方法
13．4 一个更微妙的IO类型
13．4．1 合理的monad
13．4．2 一个支持控制台I/O的monad
13．4．3 纯解释器
13．5 非阻塞和异步I/O
13．6 一个通用的IO类型
13．6．1 最终的main程序
13．7 为什么IO类型不足以支撑流式I/O
13．8 小结
14本地影响和可变状态
14．1 纯函数式的可变状态
14．2 一种限制副作用范围的数据类型
14．2．1 受限可变性的语言表达
14．2．2 一种可变引用的代数表达
14．2．3 执行修改状态的行为
14．2．4 可变数组
14．2．5 一个纯函数的in-place快排实现
14．3 纯粹是相对于上下文的
14．3．1 副作用是什么？
14．4 小结
15流式处理与增量I/O
15．1 命令式I/O的问题示例
15．2 一个简单的流转换器
15．2．1 创建Process
15．2．2 组合和追加处理
15．2．3 处理文件
15．3 可扩展的处理类型
15．3．1 来源
15．3．2 保证资源安全
15．3．3 单一输入过程
15．3．4 多个输入流
15．3．5 去向
15．3．6 Effectful通道
15．3．7 动态资源分配
15．4 应用场景
15．5 小结
×
添加一个书摘本
搜索创建书摘本
搜索
正在搜索...
不对，换一下
书名
作者
出版社
备注
ISBN
*
*
原推荐序
序言
致谢
关于本书
函数式编程介绍
1什么是函数式编程
1．1 函数式编程的好处：一个简单的例子
1．1．1 一段带有副作用的程序
1．1．2 函数式的解法：去除副作用
1．2 （纯）函数究竟是什么
1．3 引用透明、纯粹度以及替代模型
1．4 小结
2在Scala中使用函数式编程
2．1 Scala语言介绍：
2．2 运行程序
2．3 模块、对象和命名空间
2．4 高阶函数：把函数传给函数
2．4．1 迂回做法：使用循环方式
2．4．2 第一个高阶函数
2．5 多态函数：基于类型的抽象
2．5．1 一个多态函数的例子
2．5．2 对高阶函数传入匿名函数
2．6 通过类型来实现多态
2．7 小结
3函数式数据结构
3．1 定义函数式数据结构
3．2 模式匹配
3．3 函数式数据结构中的数据共享
3．3．1 数据共享的效率
3．3．2 改进高阶函数的类型推导
3．4 基于list的递归并泛化为高阶函数
3．4．1 更多与列表相关的函数
3．4．2 用简单组件组合list函数时的效率损失
3．5 树
3．6 小结
4不是用异常来处理错误
4．1 异常的优点与劣势
4．2 异常的其他选择
4．3 Option数据类型
4．3．1 Option的使用模式
4．3．2 Option的组合、提升及对面向异常的API的包装
4．4 Either数据类型
4．5 小结
5严格求值和惰性求值
5．1 严格和非严格函数
5．2 一个扩展例子：惰性列表
5．2．1 对Stream保持记忆，避免重复运算
5．2．2 用于检测Stream的helper函数
5．3 把函数的描述与求值分离
5．4 无限流与共递归
5．5 小结
6纯函数式状态
6．1 以副作用方式生成随机数
6．2 纯函数式随机数生成器
6．3 用纯函数式实现带状态的API
6．4 状态行为的更好的API
6．4．1 组合状态行为
6．4．2 嵌套状态行为
6．5 更通用的状态行为数据类型
6．6 纯函数式命令编程
6．7 小结
功能设计和组合子库
7纯函数式的并行计算
7．1 选择数据类型和函数
7．1．1 一种用于并行计算的数据类型
7．1．2 组合并行计算
7．1．3 显性分流
7．2 确定表现形式
7．3 完善API
7．4 API与代数
7．4．1 映射法则
7．4．2 分流法则
7．4．3 打破法则：一个微妙的bug
7．4．4 用Actor实现一个完全无阻塞的Par
7．5 完善组合子为更通用的形式
7．6 小结
8基于性质的测试
8．1 基于性质测试概览
8．2 选择数据类型和函数
8．2．1 API的初始代码片段
8．2．2 性质的含义与API
8．2．3 生成器的意义和API
8．2．4 生成值决定生成器
8．2．5 精炼Prop的数据类型
8．3 最小化测试用例
8．4 使用库并改进其易用性
8．4．1 一些简单的例子
8．4．2 为并行计算编写测试套件
8．5 测试高阶函数及展望未来
8．6 生成器法则
8．7 小结
9语法分析器组合子
9．1 代数设计，走起
9．2 一种可能的代数
9．2．1 切片和非空重复
9．3 处理上下文的相关性
9．4 写一个JSON分析器
9．4．1 JSON格式
9．4．2 JSON分析器
9．5 错误提示
9．5．1 一种可行的设计
9．5．2 错误嵌套
9．5．3 控制分支和回溯轨迹
9．6 实现代数
9．6．1 一种可能的实现
9．6．2 串化分析器
9．6．3 标记分析器
9．6．4 故障转移和回溯
9．6．5 上下文相关的分析
9．7 小结
函数设计的通用结构
10Monoid
10．1 什么是monoid
10．2 使用monoid折叠列表
10．3 结合律和并行化
10．4 例子：并行解析
10．5 可折叠数据结构
10．6 组合monoid
10．6．1 组装更加复杂的monoid
10．6．2 使用组合的monoid融合多个遍历
10．7 小结 151
11Monad
11．1 函子：对map函数的泛化
11．1．1 函子法则
11．2 Monad：对flatMap和unit函数的泛化
11．3 Monadic组合子
11．4 单子定律
11．4．1 结合法则
11．4．2 为指定的monad证明结合法则
11．4．3 单位元法则
11．5 什么是monad
11．5．1 identity monad
11．5．2 状态monad和partial type application
11．6 小结
12可应用和可遍历函子
12．1 泛化单子
12．2 Applicative trait
12．3 单子与可应用函子的区别
12．3．1 对比Option applicative与Option monad
12．3．2 对比Parser applicative与Parser monad
12．4 可应用函子的优势
12．4．1 不是所有的可应用函子都是Monad
12．5 可应用法则
12．5．1 Left and right identity
12．5．2 结合律
12．5．3 Naturality of product
12．6 可遍历函子
12．7 使用Traverse
12．7．1 从monoid到可应用函子
12．7．2 带状态的遍历
12．7．3 组合可遍历结构
12．7．4 遍历融合
12．7．5 嵌套遍历
12．7．6 Monad组合
12．8 小结
作用与I/O
13外部作用和I/O
13．1 分解作用13．2 一个简单的IO类型
13．2．1 处理输入效果
13．2．2 简单IO类型的优缺点
13．3 避免栈溢出
13．3．1 将一个控制流转化为数据构造子
13．3．2 Trampolining：栈溢出的通用解决方法
13．4 一个更微妙的IO类型
13．4．1 合理的monad
13．4．2 一个支持控制台I/O的monad
13．4．3 纯解释器
13．5 非阻塞和异步I/O
13．6 一个通用的IO类型
13．6．1 最终的main程序
13．7 为什么IO类型不足以支撑流式I/O
13．8 小结
14本地影响和可变状态
14．1 纯函数式的可变状态
14．2 一种限制副作用范围的数据类型
14．2．1 受限可变性的语言表达
14．2．2 一种可变引用的代数表达
14．2．3 执行修改状态的行为
14．2．4 可变数组
14．2．5 一个纯函数的in-place快排实现
14．3 纯粹是相对于上下文的
14．3．1 副作用是什么？
14．4 小结
15流式处理与增量I/O
15．1 命令式I/O的问题示例
15．2 一个简单的流转换器
15．2．1 创建Process
15．2．2 组合和追加处理
15．2．3 处理文件
15．3 可扩展的处理类型
15．3．1 来源
15．3．2 保证资源安全
15．3．3 单一输入过程
15．3．4 多个输入流
15．3．5 去向
15．3．6 Effectful通道
15．3．7 动态资源分配
15．4 应用场景
15．5 小结