Efekt, który wskazuje, że funkcja może się zakończyć niepowodzeniem, a wywołanie takiej funkcji jest wyrażeniem zawodnym. Definicje funkcji z efektem decides muszą mieć również efekt transacts, co oznacza, że akcje wykonywane przez tę funkcję mogą zostać wycofane, jakby nigdy nie zostały wykonane, jeśli w dowolnym miejscu funkcji wystąpi niepowodzenie.
decides
Efekt, który wskazuje, że funkcja może się zakończyć niepowodzeniem, a wywołanie takiej funkcji jest wyrażeniem zawodnym.
Ask questions and help your peers Developer Forums
Write your own tutorials or read those from others Learning Library