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.