On Jan 18, 2006, at 1:38 PM, Sam Goldman wrote:
Sorry if this is too off-topic for this list.
I'm a hobbyist programmer and I've recently become interested in lazy functional languages, particularly the optimization strategies available to them during compilation. I've been playing around with Haskell for about a year and it has been an excellent resource for me.
I guess my main question is this: what are the x most compelling directions in optimized compilation for (pure) lazy functional languages in recent research (where x::Nat is an unevaluated thunk in your head)
Hybrid lazy and eager evaluation. :-) I don't think Rob Ennals and I did more than scratch the surface here. There are tons of possible ideas and loose ends, every one solving the "space leaks for accumulating parameters" problem. Parallelism. The GHC folks are working on this, of course, and others have done good work in the past. But again, there's so much fertile ground that it's easy to contribute without redundancy... -Jan-Willem Maessen
- Sam _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe