User loginNavigation 
Catamorphisms and anamorphisms = general or primitive recursion?By combining catamorphisms and anamorphisms, can one write only primitive recursive functions or any general recursive function? Do you know a good reference discussing that? I was surprised by reading that "combining anamorphisms and catamorphisms [...] leads to general recursion" in an ICFP paper [1]. I would have expected to see "primitive recursion" there, and no reference is given for the statement. I also skimmed again "Functional programming with bananas, lenses, envelopes and barbed wire", which builds only examples of primitive recursion  it does not go as far as Neel Krishnaswami. [1] "Boxes Go Bananas: Encoding HigherOrder Abstract Syntax with Parametric Polymorphism", Geoffrey Washburn and Stephanie Weirich, ICFP 2003. By Blaisorblade at 20110614 14:09  LtU Forum  previous forum topic  next forum topic  other blogs  5267 reads

Browse archivesActive forum topics 
Recent comments
1 hour 41 min ago
5 hours 35 min ago
8 hours 13 min ago
18 hours 44 sec ago
18 hours 29 min ago
18 hours 33 min ago
18 hours 43 min ago
18 hours 48 min ago
19 hours 5 min ago
19 hours 33 min ago