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

Browse archivesActive forum topics 
Recent comments
10 hours 30 min ago
11 hours 43 min ago
11 hours 54 min ago
12 hours 8 min ago
12 hours 36 min ago
22 hours 11 min ago
1 day 1 hour ago
1 day 23 hours ago
3 days 20 hours ago
3 days 21 hours ago