Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Plain/

> Plain : forall t i . i `AR__` I `L` t `T` i

Demonstration: initialise various data structure in order defined by representing object (LIFO):

> A `ho'nt'yo` Plain @ List
> A `ho'nt'yo` Plain @ ( Vector 1 )
> A `ho'nt'yo` Plain @ ( Nonempty List )
> A `has` B `ho'nt'yo` Plain @ List
> A `has` B `ho'nt'yo` Plain @ ( Vector 2 )
> A `has` B `ho'nt'yo` Plain @ ( Nonempty List )
> A `has` B `has` C `ho'nt'yo` Plain @ List
> A B `has` `has` C `ho'nt'yo` Plain @ ( Vector 3 )
> A `has` B `has` C `ho'nt'yo` Plain @ ( Nonempty List )

Counterpart: label that does initialise data structure in reverse is Stack.