Arity-generic datatype-generic programming

14 years 1 months ago

Download www.seas.upenn.edu

Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Generic Haskell can use a single deﬁnition to generate map for each type. However, map is also arity-generic because it belongs to a family of related operations that differ in the number of arguments. For lists, this family includes repeat, map, zipWith, zipWith3, zipWith4, etc. With dependent types or clever programming, one can unify all of these functions together in a single deﬁnition. However, no one has explored the combination of these two forms of genericity. These two axes are not orthogonal because the idea of arity appears in Generic Haskell: datatype-generic versions of repeat, map and zipWith have different arities of kind-indexed types. In this paper, we deﬁne arity-generic datatype-generic programs by building a framework for Generic Haskell-style generic programming in the dependently-typed ...

Stephanie Weirich, Chris Casinghino

Real-time Traffic