Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Sum/
:
(
i
`S`
ii
) ~ (
Sum
i
ii
)
:
Supertype
(
Opted
i
) ~ (
i
`S`
i
)
:
Supertype
(
Boolean
) ~ (
Unit
`S`
Unit
)
:
Supertype
(
Maybe
i
) ~ (
Unit
`S`
i
)
:
Supertype
(
Stops
i
ii
) ~ (
i
`S`
ii
)
:
Supertype
(
Whether
i
ii
) ~ (
(
i
`S`
ii
)
`S`
(
i
`P`
ii
)
)
>
This
:
i
`AR_____`
i
`S`
ii
>
That
:
ii
`AR____`
i
`S`
ii
>
`has`
:
o
`AR`
a
`AR____`
o
`AR`
aa
`AR____`
o
`AR`
a
`S`
aa
>
`has`
:
o
`AT`
a
`AR____`
o
`AT`
aa
`AR____`
o
`AT`
a
`S`
aa
>
`yoi`
:
∀
a
o
.
Sum
a
_
`AR_____`
a
`AR____`
o
`AR____`
Sum
o
_
>
`yio`
:
∀
a
o
.
Sum
_
a
`AR_____`
a
`AR____`
o
`AR____`
Sum
_
o
>
`yoikl`
:
∀
a
o
.
Sum
a
_
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Sum
o
_
)
>
`yoikl`
:
∀
a
o
.
Sum
a
_
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Sum
o
_
)
>
`yoikl`
:
∀
a
o
.
Sum
a
_
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Sum
o
_
)
>
`yoikl`
:
∀
a
o
.
Sum
a
_
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Sum
o
_
)
>
`yiokl`
:
∀
a
o
.
Sum
_
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Sum
_
o
)
>
`yiokl`
:
∀
a
o
.
Sum
_
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Sum
_
o
)
>
`yiokl`
:
∀
a
o
.
Sum
_
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Sum
_
o
)
>
`yiokl`
:
∀
a
o
.
Sum
_
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Sum
_
o
)