Home
Publications
Software
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
ALightweight Approach To Datatype-GenericRewriting
Alexey
<!-- * Set PREV_SKIN = customtitle * Set CUSTOMTOPICTITLE = Comparing Libraries for Generic Programming in Haskell * Set CUSTOMHEADTITLE = Comparing Libraries for Generic Programming in Haskell * Set WEBTITLE = --> _Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting. Submitted to the Workshop on Generic Programming 2008._ Previous implementations of generic rewriting libraries have a number of limitations: they require the user to either adapt the datatype on which rewriting is applied, or the rewriting rules are specified as functions, which makes it hard or impossible to document, test, and analyse rules. We describe a library that demonstrates how to overcome these limitations by defining rules as datatypes, and how to use a type-indexed datatype to automatically extend a datatype with a case for meta-variables. We then show how to implement rules without knowledge of how the datatype is extended with meta-variables. We use Haskell extended with associated types to implement both type-indexed datatypes and generic functions. We analyse the performance of our library and compare it with other approaches to generic rewriting. *Paper (To appear in the proceedings of the Workshop on Generic Programming 2008):* [[%ATTACHURL%/gr-wgp08-submitted.pdf][pdf]] -- Main.AlexeyRodriguez - 30 Jun 2008
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
gr-wgp08-submitted.pdf
manage
217.2 K
25 Aug 2008 - 09:49
AlexeyRodriguez