Original: 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 .
Simplified: In computer science , speculative execution is the execution of code , before being sure if the result will be needed .