Dan Weston wrote:
Good stuff! You might also want to consider including code from
Uustalu et al, "Recursion Schemes from Comonads", 2001
http://citeseer.ist.psu.edu/uustalu01recursion.html
Thanks for the pointer! I'll put it on my list.
Roman
___
H
Good stuff! You might also want to consider including code from
Uustalu et al, "Recursion Schemes from Comonads", 2001
http://citeseer.ist.psu.edu/uustalu01recursion.html
Chapter 7 has code formatted as Literate Haskell that generalizes cata,
ana, hylo (iteration), and para (primitive recursion
I'm pleased to announce fixpoint 0.1, a (for now) small generic
programming library which allows data types to be manipulated as
fixpoints of their underlying functors. The library is mostly based on
"Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire"
by Erik Meijer, Maarte
