6.8 通用处理语言

6.8 通用处理语言

 

    如经过这一章的课程，我们已经看到几个递归模式，比如一个叫映射的操作，既可用于选项的值，也可用于列表。我们还用它处理元组，并实现了 mapFirst 和 mapSecond 的函数。

    许多不同的值共享一组相似的处理函数，因此，把这些操作认为当作一种通用语言是意义的。但是，操作的名称可以随值而不同：类型签名中的相似之处往往要比名称中的相似之处有更好的线索。