Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Plane/

> Plane : forall t . t `C'AR__` t `L` List `T` _
> Plane : forall t . t `C'AR__` t `L` Nonempty List `T` _

Interpretation: this label flattens datastructures.

Demonstration: flattening Nonempty List i.e. to plane it:

> A `has_` B `has` C `ryo` Enter : Nonempty List `T'I` Latin
> A `has_` B `has` C `ryo` Enter `kyo` Level : Nonempty List `T'TT` Nonempty List `T'I` Latin
> A `has_` B `has` C `ryo` Enter `kyo` Level `yok` Plane : Nonempty List `T'I` Latin
> A `has_` B `has` C `ryo` Enter `kyo` Level `yok` Plane = A `has____` B `has___` C `has__` B `has_` C `has` C `___ryo` Enter

Counterpart: label that copy remaining datastructure at each item is Level.