Re: automaticly create the ana, cata, hylomorphisms

[Doaitse Swierstra]

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
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe