6.8 通用处理语言 如经过这一章的课程，我们已经看到几个递归模式，比如一个叫映射的操作，既可用于选项的值，也可用于列表。我们还用它处理元组，并实现了 mapFirst 和 mapSecond 的函数。 许多不同的值共享一组相似的处理函数，因此，把这些操作认为当作一种通用语言是意义的。但是，操作的名称可以随值而不同：类型签名中的相似之处往往要比名称中的相似之处有更好的线索。 ... [阅读全文]