6.8 一般处理语言

 

在这一章。我们已经看到几个递归模式，例如，映射动作，对于选项值并列出可用；它也可以被用来处理元组，我们实现 mapFirst 和 mapSecond 功能。

很多不同的值分享一组相似处理器，因此。这些行动作为一种通用的语言是没有意义的。

但，的操作的名称可能不同值不同：类型的签名相似相名字往往比似更重要的是。