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
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe