Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/First/

Converting a Product of Maybe items into Maybe Sum of these items:

> Exist `hv'he` A `lu'ys` First `ha` Exist `hv'he` B = Exist `ha` This `hv'he` A > Empty `hv` Unit `lu'ys` First `ha` Exist `hv'he` B = Exist `ha` That `hv'he` B > Empty `hv` Unit `lu'ys` First `ha` Empty `hv` Unit = Empty `hv` Unit > Exist `hv'he` A `lu'ys` First `ha` Empty `hv` Unit = Exist `ha` This `hv'he` A

Converting a Product of Stops items into Stops Sum of these items:

> Valid `hv'he` A `lu'ys` First `ha` Valid `hv'he` B = Valid `ha` This `hv'he` A > Error `hv'he` A `lu'ys` First `ha` Valid `hv'he` B = Valid `ha` That `hv'he` B > Error `hv'he` A `lu'ys` First `ha` Error `hv'he` B = Error `hv'he` A > Valid `hv'he` A `lu'ys` First `ha` Error `hv'he` B = Valid `ha` This `hv'he` A