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:
“In clear weather the laziest may look across the Bay as far as Plymouth at a glance, or over the Atlantic as far as human vision reaches, merely raising his eyelids; or if he is too lazy to look after all, he can hardly help hearing the ceaseless dash and roar of the breakers. The restless ocean may at any moment cast up a whale or a wrecked vessel at your feet. All the reporters in the world, the most rapid stenographers, could not report the news it brings.”
—Henry David Thoreau (1817–1862)
“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)