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:
“So, when my days of impotence approach,
And I’m by pox and wine’s unlucky chance
Forced from the pleasing billows of debauch
On the dull shore of lazy temperance,
My pains at least some respite shall afford
While I behold the battles you maintain
When fleets of glasses sail about the board,
From whose broadsides volleys of wit shall rain.”
—John Wilmot, 2d Earl Of Rochester (1647–1680)
“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)