Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Scope/
:
(
i
`AT`
ii
) ~ (
ii
`TA`
i
) ~ (
Attribute
i
ii
) ~ (
Scope
i
ii
)
:
Supertype
(
Scope
i
ii
) ~ (
i
`AR__`
ii
`P`
(
ii
`AR`
i
)
)
:
Supertype
(
Reach
i
ii
) ~ (
Scope
i
ii
)
>
Scope
:
i
`AR_`
ii
`P`
(
ii
`AR`
i
)
`AR___`
Scope
i
ii
>
`yai`
:
∀
a
o
.
Scope
a
_
`AR_____`
a
`TA____`
o
`AR____`
Scope
o
_
>
`yio`
:
∀
a
o
.
Scope
_
a
`AR_____`
a
`AT____`
o
`AR____`
Scope
_
o
>
`yair`
:
∀
a
o
.
Scope
a
i
`AR____`
i
`RA__`
a
>
`yior`
:
∀
a
o
.
Scope
i
o
`AR____`
i
`AR__`
o