Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Match/
:
(
Taken
Boolean
i
) ~ (
Predicate
i
) ~ (
Match
i
)
:
Supertype
(
Match
i
) ~ (
i
`AR`
Boolean
)
>
Match
:
i
`AR__`
Boolean
`AR_____`
Match
i
>
`ya`
:
∀
a
o
.
Match
a
`AR_____`
a
`RA____`
o
`AR____`
Match
o
>
`yar`
:
∀
a
o
.
Match
a
`AR____`
Boolean
`RA__`
a
>
`rya`
:
∀
a
o
.
Boolean
`AR`
o
`AR__`
Match
o
`AR`
a
`AR`
a
>
Arrow
`har`
derive
`ha`
Until
:
List
`T'TT'I`
Match
`C'AR___`
Match
>
Arrow
`har`
derive
`ha`
Sieve
:
List
`P'T'I'TT'I`
Match
`C'AR___`
List