何塞·佩德罗·马加莱斯 具有多个参数的通用编程。 （英语） Zbl 1416.68040号 Codish，Michael（编辑）等人，《函数与逻辑编程》。2014年6月4日至6日，第十二届国际研讨会，FLOPS 2014，日本金泽。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8475, 136-151 (2014). 概述：泛型编程是编程语言中的一种抽象形式，它通过利用代数数据类型的规则结构来减少代码重复，多年来一直以不同的形式出现在Haskell语言中。最近，编译器中提供了泛型派生库的本机支持，允许程序员编写泛型抽象一个数据类型参数的函数，如fmap。然而，这种方法的功能仅限于处理每个数据类型的一个参数。在本文中，我们通过提供支持多参数的泛型派生的泛型泛化来解除这一限制，并充分利用数据类型提升和种类多态性。我们展示了数据类型的示例编码，以及如何定义同时操作多个参数的映射函数。关于整个系列，请参见[Zbl 1291.68015号]. 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 软件：哈斯克尔；清洁 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Magalháes}，莱克特。注释计算。科学。8475，136--151（2014；Zbl 1416.68040） 全文： 内政部