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  5690 reads

Browse archivesActive forum topics 
Recent comments
2 hours 16 min ago
4 hours 4 min ago
4 hours 40 min ago
4 hours 45 min ago
10 hours 45 min ago
11 hours 31 min ago
17 hours 34 min ago
17 hours 46 min ago
20 hours 19 min ago
20 hours 56 min ago