speculative execution (exécution spéculative)

Verse utilise le contexte d'échec pour vous permettre de tester des actions sans les valider. Cette procédure est appelée exécution spéculative. Lorsqu'une expression réussit, l'effet de cette expression est validé, par exemple le changement de valeur d'une variable. Si l'expression échoue, les effets de l'expression sont annulés, comme si l'expression n'avait jamais eu lieu.