[Haskell-cafe] AST Rewriting

Steve Severance 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
something together.

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
>> useful:
>>   http://hackage.haskell.org/**package/spine<http://hackage.haskell.org/package/spine>
> 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.
> Regards,
> Sean
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121121/0691fcd5/attachment-0001.htm>

More information about the Haskell-Cafe mailing list