Array Layout

The array layout is used to represent an ordered collection of items. It can simply be denoted with the given syntax:

[Item]

where Item is the layout of each item in the array.

Semantics

The extended array syntax is not yet implemented.

By default, the array layout is bound to the rdf:List type restricted so that each rdf:first property is associated to Item's type. An array layout is always bound to a list-like type, however, one may use a different type than rdf:List by using the extended array syntax:

[Item; List; first; rest; nil]

where each element is defined as follows:

• Item: Layout of each item in the array.

• List: Type of list. By default rdf:List.

• first: Property associating each list node to its value. By default rdf:first.

• rest: Property associating each list node to the next. By default rdf:rest.

• nil: Empty list value. By default rdf:nil.