心想事成

6.8.1 映射、筛选和折叠（Mapping,filtering, and folding）   映射、筛选和折叠是函数编程中最常见的操作；在处理函数式列表时，我们已经用到过，但它们还支持所有其他的集合类型（我们将在第十和十二章讨论其中一部分）；这些操作并不限于集合，所有的操作都可用于处理选项类型。 清单 6.25 显示了映射、筛选和折叠函数的签名类型，清单中包括了我们尚未讨论过的Optio

6.4.2 使用 bind 函数   下一步，我们想消除外层的模式匹配，这，使用 Option.map 是做不到的，因为这个函数总是，输入为 None，转换后输出是 None，输入为 Some，转换后输出是包含其他值的 Some。在外层的模式匹配中，我们要做的事情根本不是这样，即使输入值是 Some，而如果读第二个输入失败，仍可能返回 None。这样，作为参数值的 lambda 函数指定的类型