Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Stump/

This is a label for transforming Stops into Maybe, i.e. replace information about Error with Unit.

> morph `ha` Stump `ha` Valid `hc'st` A = Exist `hc'st` A > morph `ha` Stump `ha` Error `hc'st` B = Empty `hc` Unit

This is how you would do the same thing manually:

> Error `hu'st` Empty `has` Exist `hc__` Valid `hc'st` A = Exist `hc'st` A > Error `hu'st` Empty `has` Exist `hc__` Error `hc'st` B = Empty `hc` Unit