
28 Jul
2006
28 Jul
'06
10:24 a.m.
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