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

Browse archivesActive forum topics
New forum topics 
Recent comments
10 hours 13 min ago
14 hours 20 min ago
15 hours 10 min ago
15 hours 36 min ago
2 days 20 min ago
2 days 1 hour ago
2 days 1 hour ago
2 days 1 hour ago
2 days 3 hours ago
2 days 11 hours ago