On Jul 28, 2006, at 4:07 PM, Robert Dockins wrote:
On an almost completely unrelated note, I've sometimes thought that it would be nice to be able to have the compiler auto-magicly generate catamorphisms for datatypes upon request. No, I haven't thought out the details.
For the time being you may resort to our attribute grammar system, which basically generates such catamorphisms 9and matches nicely with our parser combinators too):
http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem Doaitse Swierstra _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org//mailman/listinfo/haskell-prime