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:
“The dreary flies, lazy and casual,
Stick to the ceiling, buzz along the wall.
O heart, the spider shuffles from the mould
Weaving, between the pinks and grapes, his pall.”
—Allen Tate (1899–1979)
“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)