Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviours/Lease/

Using this label on stateful operation does not change the state:

intro `hv` Unit `yuk` Lease `ha` State `ha` Event `hv` pop `he'he'hv__` [1, 2, 3, 4, 5] `q______` 1 `lu` [1, 2, 3, 4, 5] intro `hv` Unit `yuk` Apply `ha` State `ha` Event `hv` pop `he'he'hv__` [1, 2, 3, 4, 5] `q______` 1 `lu` [2, 3, 4, 5] intro `hv` Unit `yuk` Lease `ha` State `ha` Event `ha` push `hv` 1 `he'he'hv__` [2, 3, 4, 5] `q___` 1 `lu` [2, 3, 4, 5] intro `hv` Unit `yuk` Apply `ha` State `ha` Event `ha` push `hv` 1 `he'he'hv__` [2, 3, 4, 5] `q___` 1 `lu` [1, 2, 3, 4, 5]

It's convenient to use this label for viewing how some state transition may affect controflow without actually change the state.