乌尔夫诺雷尔;帕特里克·詹森 在Template Haskell中原型化泛型编程。 （英语） Zbl 1106.68332号 德克斯特（编辑），《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22380-0/pbk）。计算机科学讲稿3125314-333（2004）。 概述：通用编程处理可应用于许多不同数据类型的程序的构造。这是通过根据要应用泛型程序的数据类型结构对泛型程序进行参数化来实现的。可以通用定义的程序从简单的映射函数到漂亮的打印机，再到复杂的XML工具。通用编程语言的设计空间在很大程度上未被探索，部分原因是实现这种语言所需的时间和精力。在本文中，我们展示了如何使用Template Haskell来编写两种现有泛型编程语言PolyP和generic Haskells的灵活原型实现，这是Haskel的一个扩展，支持编译时元编程。通过这样做，我们还可以更好地了解两种语言之间的差异和相似之处。有关整个系列，请参见[Zbl 1053.68005号]. 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 软件：息肉;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{U.Norell}和\textit{P.Jansson}，莱克特。注释计算。科学。3125、314--333（2004；Zbl 1106.68332） 全文： 内政部