You may want to take a look at our attribute grammar system which will not only generate the cata's for you, but also the algebra's that these cata's take as argument. The latter is where the real work is if you want to convert yourself to this style of programming. See: http://www.cs.uu.nl/groups/ST/twiki/bin/view/Center/ SoftwareDistributions and the follow the attribute grammar link. Best, Doaitse Swierstra On vrijdag, nov 7, 2003, at 16:09 Europe/Zurich, Marta Isabel Oliveira wrote:
Ok, i read the page but i'm still stuck.
I'm reading some papers about cata, ana and hylomorphisms but i need to know where to start putting it to code.
So,
1. in order to have a pre-processor, i need to have a module with ALL data types? 2. from this module, how could i create the cata, ana,...
i mean,
a)how can i represent the result in haskell b) how can i create the cata(whatever) without knowing all of the possible functions that may be inserted in order to it's cata be created?
thansk a lot,
lesina.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe