Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Steal/

> Steal : forall e t . t `C'AR__` t `L` Stops e `T` _

Interpretation: this label gives you access to state bypassing State at the moment of interruption (Stops).

Demonstration: attach current State at the moment of interruption Along existing error:

> Pass `ryo` Enter @ ( Stops `T'TT` Along e `T'I` ee `J'T'TT'I` State ee ) `yok'ut` Steal `har` ( _ : Stops e )

Counterpart: label that interrupts without attaching state is Check.