RepLib: A library for derivable type classes

Simple item page
dc.contributor.authorWeirich, Stephanie
dc.contributor.authorWeirich, Stephanie
dc.date2023-05-17T02:08:51.000
dc.date.accessioned2023-05-22T12:47:51Z
dc.date.available2023-05-22T12:47:51Z
dc.date.issued2006-09-17
dc.date.submitted2008-03-04T06:29:19-08:00
dc.description.abstractSome type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the deriving mechanism to automatic generates such instances for a small number of built-in type classes. In this paper, we present RepLib, a GHC library that enables a similar mechanism for arbitrary type classes. Users of RepLib can define the relationship between the structure of a datatype and the associated instance declaration by a normal Haskell functions that pattern-matches a representation types. Furthermore, operations defined in this manner are extensible-instances for specific types not defined by type structure may also be incorporated. Finally, this library also supports the definition of operations defined by parameterized types.
dc.description.commentsPostprint version. Published in <em>Proceedings of the 2006 ACM SIGPLAN workshop on Haskell</em>, September 2006, pages 1-12.<br> Publisher URL: http://doi.acm.org/10.1145/1159842.1159844
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6405
dc.legacy.articleid1387
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1387&amp;context=cis_papers&amp;unstamped=1
dc.source.issue362
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.othergeneric programming
dc.subject.otherrepresentation type
dc.subject.otherHaskell
dc.subject.othertype class
dc.titleRepLib: A library for derivable type classes
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:sweirich@cis.upenn.edu|institution:University of Pennsylvania|Weirich, Stephanie
digcom.identifiercis_papers/362
digcom.identifier.contextkey447515
digcom.identifier.submissionpathcis_papers/362
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublicationb66c11a3-4446-4985-a8af-67bf0f02b419
relation.isAuthorOfPublication.latestForDiscoveryb66c11a3-4446-4985-a8af-67bf0f02b419
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
haskell08_weirich.pdf
Size:
213.08 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations