[Haskell-cafe] AST Rewriting
sseverance at alphaheavy.com
Wed Nov 21 20:08:46 CET 2012
Thanks everyone for your replies.
I am not wedded to GADTs or really anything else. I am going to give the
syntactic library a shot over the next few days and see if I can hack
Thanks again for the papers and libraries.
On Wed, Nov 21, 2012 at 6:10 AM, Sean Leather <leather at cs.uu.nl> wrote:
> On Wed, Nov 21, 2012 at 2:56 PM, Emil Axelsson wrote:
> This is one of the problem Syntactic aims to solve, but it requires you to
>> use a different representation of expressions (for good or bad). If you
>> want to keep your existing representation, then you have to use a generic
>> programming library that supports GADTs. I know at least the Spine approach
>> supports GADTs, but the library on Hackage seems too incomplete to be
> Just a comment on this library (since I put it up there). Yes, it is
> incomplete. It's only been used for students in a course. It is not
> intended for practical use.
> Even if it were complete, the Type datatype is closed, meaning the library
> cannot be extended to support new types, which probably won't necessarily
> be that useful to you. The spine view works nicely as a model of SYB but
> not so nicely as a library for generic programming.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe