Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/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__` [A, B, C, D, E] = Exist `hv` A `lu` [A, B, C, D, E] intro `hv` Unit `yuk` Apply `ha` State `ha` Event `hv` pop `he'he'hv__` [A, B, C, D, E] = Exist `hv` A `lu` [B, C, D, E] intro `hv` Unit `yuk` Lease `ha` State `ha` Event `ha` push `hv` A `he'he'hv__` [B, C, D, E] = A `lu` [B, C, D, E] intro `hv` Unit `yuk` Apply `ha` State `ha` Event `ha` push `hv` A `he'he'hv__` [B, C, D, E] = A `lu` [A, B, C, D, E]

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