Una tesis doctoral de 2003 hizo que el compilador de Haskell de la Universidad de Glasgow soportase cierto tipo de ejecución especulativa mediante un mecanismo de cancelación que daba marcha atrás en caso de tomar una mala decisión; se la denominó "ejecución optimista".