List is a basic linear data structure.
Variations: Nonempty List, Scrolling List
Supertype (List item) ~ Maybe (Nonempty List item)Available methods (Stack):
pop: Transition `T'I` List item `T'I` Optional item
push: item `AR_` Transition `T'I` List item `T'I` itemHow to construct an empty list:
Empty @List () : List itemHow to construct a list of 4 elements:
List `ha` Next 1 `ha` Next 2 `ha` Next 3 `he` Last 4You can traverse a List but you have to specify in which order you want to do it:
items `yokl` Forth `ha` Console.output `AR____` 1, 2, 3, 4, 5, 6, 7, 8, 9
items `yokl` Prior `ha` Console.output `AR____` 9, 8, 7, 6, 5, 4, 3, 2, 1