Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Reset/

> Reset : forall e t . t `C'AR__` t `L` State e `T` _

Interpretation: this label does not propagate state changes.

Demonstration: test a stateful computation without affecting state:

> run = Pass `ryo` Enter @ ( State `T'TT` List `T'I` Latin )
> pop = State `ha` Event `har` happen @ Maybe `ha` Sever `ha` First
> run `yok'ut` Apply `har` pop `bt'har__` A `has` B `ryo` Enter @ List = Exist `har'st` A `hjd__` B `ryo` Enter @ List
> run `yok'ut` Reset `har` pop `bt'har__` A `has` B `ryo` Enter @ List = Exist `har'st` A `hjd__` A `has` B `ryo` Enter @ List

Counterpart: label that does propagate state changes is Apply.