Eager Haskell est conçu autour de l'idée de l'exécution spéculative. Les récentes versions de GHC supportent une sorte d'exécution spéculative avec un mécanisme d'avortement à repousser dans le cas d'un mauvais choix appelé exécution optimiste.
En informatique, l'exécution spéculative est l'exécution du code, avant de s'assurer que le résultat sera nécessaire.