Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Merge/
>
Merge
:
forall
t
tt
ttt
i
.
t
`P'T'I'TT'I`
tt
`C'AR____`
(
t
`P'T'I'TT'I`
tt
)
`L`
ttt
`T`
_
Demonstration
:
merging
two datastructures into another one:
>
derive
`ha`
Merge
@
List
@
List
@
List
`har__`
Null
`ho'vt`
Unit
`has`
Null
`ho'vt`
Unit
`ryo`
Enter
=
Null
`ho'vt`
Unit
`ryo`
Enter
>
derive
`ha`
Merge
@
List
@
List
@
List
`har__`
Null
`ho'vt`
Unit
`has`
Only
`ho'ut'st`
B
`ryo`
Enter
=
B
`ryo`
Enter
>
derive
`ha`
Merge
@
List
@
List
@
List
`har__`
Only
`ho'ut'st`
A
`has`
Null
`ho'vt`
Unit
`ryo`
Enter
=
A
`ryo`
Enter
>
derive
`ha`
Merge
@
List
@
List
@
List
`har__`
Only
`ho'ut'st`
A
`has`
Only
`ho'ut'st`
B
`ryo`
Enter
=
A
`has`
B
`ryo`
Enter