automaticly create the ana, cata, hylomorphisms
doaitse at cs.uu.nl
Fri Nov 7 16:31:03 EST 2003
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.
and the follow the attribute grammar link.
On vrijdag, nov 7, 2003, at 16:09 Europe/Zurich, Marta Isabel Oliveira
> 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.
> 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
> thansk a lot,
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe