[Haskell-cafe] compiling lazy functional languages

[Jan-Willem Maessen]

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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe