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.

> derive `ha` Stump `ha` Valid `har'st` A = Exist `har'st` A > derive `ha` Stump `ha` Error `har'st` B = Empty `har` Unit

This is how you would do the same thing manually:

> Error `ho'ut'st` Empty `has` Exist `hc__` Valid `har'st` A = Exist `har'st` A > Error `ho'ut'st` Empty `has` Exist `hc__` Error `har'st` B = Empty `har` Unit