User loginNavigation 
Optimisation by repeated beta and etareductionThe following post recently showed up on Planet Haskell: Morte: an intermediate language for superoptimising functional programs. From the post: I am worried about this because the author explicitly wishes to support both folds and unfolds, and, according to Catamorphisms and anamorphisms = general or primitive recursion, folds and unfolds together have the expressive power of general recursion—so that not every term has a normal form (right?). More generally, it seems to me that being able to offer the strong guarantee that the author offers implies in particular a solution to the halting problem, hence a nonTuringcomplete language. Later, the author says: You can take any recursive data type and mechanically transform the type into a fold and transform functions on the type into functions on folds.I have a similar concern here; it seems to me to be saying that folds can express general recursion, but I thought (though I don't have a reference) that they could express only primitive recursion. Have I got something badly conceptually wrong? By L Spice at 20140912 16:04  LtU Forum  previous forum topic  next forum topic  other blogs  4660 reads

Browse archivesActive forum topics 
Recent comments
23 min 3 sec ago
3 hours 11 min ago
3 hours 48 min ago
4 hours 37 min ago
11 hours 14 min ago
11 hours 19 min ago
11 hours 36 min ago
23 hours 57 min ago
1 day 4 hours ago
1 day 6 hours ago