sin reversión

Este efecto indica que las lecturas y escrituras de datos mutables de una función no pueden deshacerse; es decir, que la función no puede invocarse en un contexto de fallo (que tiene un comportamiento de reversión en caso de fallo).