Comparing libraries for generic programming in haskell
Comparing libraries for generic programming in haskell
复制标题
比较 haskell 中泛型编程的库
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
B. C. D. S. Oliveira
中科院分区：
文献类型：
--
作者：
A. R. Yakushev;J. Jeuring;Patrik Jansson;Alex Gerdes;O. Kiselyov;B. C. D. S. Oliveira
数据类型泛型编程是定义依赖于数据类型的结构或“形状”的函数。它已经存在了10多年，取得了很大的进步，特别是在惰性函数式编程语言Haskell方面。Haskell有10多个泛型编程库或语言扩展的建议。为了比较和描述类型化函数式语言中的许多泛型编程库，我们引入了一组标准并开发了一个泛型编程基准：一组测试数据类型泛型编程各个方面的典型示例。我们已经为9个现有的Haskell泛型编程库实现了基准测试，并给出了对这些库的评估。这种比较对于达到通用的泛型编程标准很有用，而且对于必须为数据类型泛型编程选择特定方法的程序员也很有用。
Datatype-generic programming is defining functions that depend on the structure, or "shape", of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are morethan 10 proposals for generic programming libraries orlanguage extensions for Haskell. To compare and characterise the many generic programming libraries in atyped functional language, we introduce a set of criteria and develop a generic programming benchmark: a set of characteristic examples testing various facets of datatype-generic programming. We have implemented the benchmark for nine existing Haskell generic programming libraries and present the evaluation of the libraries. The comparison is useful for reaching a common standard for generic programming, but also for a programmer who has to choose a particular approach for datatype-generic programming.