Эффект — это категория поведения, которое может демонстрировать функция.
В примере кода ниже функция IsCriticalHealth принимает целочисленное значение в качестве входных данных через параметр Health. Далее указано, что эффекты, которые демонстрирует функция, это decides и transacts, что означает, что функция является контекстом, допускающим неоднозначность, и её действия можно откатить в случае выполнения функции с ошибкой. Если значение Health, переданное в функцию, больше 0,0 и меньше либо равно 30,0, то функция выполняется успешно. В противном случае функция завершается неудачно и контекст, вызвавший функцию, должен обработать ошибку.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Подробнее см. в статье Спецификаторы и атрибуты.