Re: [Haskell-cafe] Optimistic evaluation

2009-01-18 Thread Don Stewart
andrewcoppin:
> Hi folks.
> 
> I just read a rather interesting paper about a fork of GHC that performs 
> "optimistic evaluation". This shows big wins in some cases.
> 
> The authors claim to have implemented this in a fork of GHC and promised 
> that it would be integrated into the production compiler "in the near 
> future". Curios, I investigated the GHC wiki...
> 
> Well, let's see now. The front page has links to "out release plans for 
> 6.8.3" and "what will be in 6.10". The latter page,
> 
> http://hackage.haskell.org/trac/ghc/wiki/Status/Releases
> 
> mentions that a beta has just been released... and seems oblivious to 
> the fact that 6.10.1 is production now. Clearly, any hopes I might have 
> had of getting a handle on the current status of GHC from this wiki were 
> dashed somewhat. ;-)
> 
> Does anybody have any suggestions for a more reliable way of figuring 
> out what the current activities and plans for GHC are?

I'm assuming you're talking about the 'eager evaluation' papers? (There
were a few). I think the verdict was that the runtime machinery was
too complex for the performance gain.

-- Don
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Optimistic evaluation

2009-01-18 Thread Andrew Coppin

Hi folks.

I just read a rather interesting paper about a fork of GHC that performs 
"optimistic evaluation". This shows big wins in some cases.


The authors claim to have implemented this in a fork of GHC and promised 
that it would be integrated into the production compiler "in the near 
future". Curios, I investigated the GHC wiki...


Well, let's see now. The front page has links to "out release plans for 
6.8.3" and "what will be in 6.10". The latter page,


http://hackage.haskell.org/trac/ghc/wiki/Status/Releases

mentions that a beta has just been released... and seems oblivious to 
the fact that 6.10.1 is production now. Clearly, any hopes I might have 
had of getting a handle on the current status of GHC from this wiki were 
dashed somewhat. ;-)


Does anybody have any suggestions for a more reliable way of figuring 
out what the current activities and plans for GHC are?


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Optimistic Evaluation was Re: Can't Haskell catch up with Clean's uniqueness typing?

2005-12-06 Thread Shae Matijs Erisson
[EMAIL PROTECTED] writes:

> being occupied with learning both languages, I'm getting curious if
> Haskell couldn't achieve most of the performance gains resulting from
> uniqueness typing in Clean by *automatically* determining the reference
> count of arguments wherever possible and subsequently allowing them to
> be physically replaced immediately by (the corresponding part of) the
> function's result. Are there any principal obstacles, or *could* this be
> done, or *is* this even done already, e. g. in ghc?

Maybe you're describing speculative evaluation? 

Optimistic Evaluation: An Adaptive Evaluation Strategy for Non-Strict Programs
http://citeseer.ist.psu.edu/ennals03optimistic.html
--
Shae Matijs Erisson - http://www.ScannedInAvian.com/ - Sockmonster once said:
You could switch out the unicycles for badgers, and the game would be the same.

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe