Please use this identifier to cite or link to this item:
Title: Modular generic programming with extensible superclasses
Authors: Sulzmann, M. 
Wang, M. 
Keywords: Generic programming
Type classes
Issue Date: 2006
Citation: Sulzmann, M.,Wang, M. (2006). Modular generic programming with extensible superclasses. WGP'06 - Proceedings of the ACM SIGPLAN 2006 Workshop on Generic Programming 2006 : 55-65. ScholarBank@NUS Repository.
Abstract: "Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type classes. To achieve modularity, the GM and SYB approach have been extended by using some experimental language extensions such as abstraction over type classes and recursive instances. Hence, the type class encodings behind the GM and SYB approach become less practical and harder to understand. We show that none of these type class features are necessary if we use the single feature of extensible superclasses, the complement of subclass extension. We formalize type classes with extensible superclasses as the combination of a previously introduced type-passing translation scheme and a general type class framework. Our results shed some new light on the use of type classes to support generic programming. Copyright © 2006 ACM.
Source Title: WGP'06 - Proceedings of the ACM SIGPLAN 2006 Workshop on Generic Programming
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on Mar 31, 2020

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.