Lazy Evaluation
Lazy evaluation does not speculate. The incorporation of speculative execution into implementations of the Haskell programming language is a current research topic. Eager Haskell is designed around the idea of speculative execution. Recent versions of GHC support a kind of speculative execution with an abortion mechanism to back out in case of a bad choice called optimistic execution.
Read more about this topic: Speculative Execution
Famous quotes containing the words lazy and/or evaluation:
“Kitty March: O-o-o-oh Johnny!
Johnny Prince: Hey lazy legs.
Kitty March: Jeepers, I love ya....”
—Dudley Nichols (1895–1960)
“Evaluation is creation: hear it, you creators! Evaluating is itself the most valuable treasure of all that we value. It is only through evaluation that value exists: and without evaluation the nut of existence would be hollow. Hear it, you creators!”
—Friedrich Nietzsche (1844–1900)