Data Types

Primitives

None

Empty value.

none

Boolean

True or false value.

true
false

Byte

Natural

Non-negative whole number.

Integer

Positive or negative whole number.

Block

Fixed-length series of bytes.

quad :block{4}

'abcd'
'\127\0\0\1'

Complex Types

Sequence

Variable-length series of bytes.

"Hello, world"

Collections

Var

Indirection to another object.

Option

Stores an interior object or None.

opt :option{natural} = none
opt = 5

Tuple

Stores a fixed-length series of independently-typed objects.

(1, 2, "text", true)

Array

Fixed-length series of objects.

array :{2, natural}
array :[1, 2; 2]

List

Variable-length series of objects.

strings :list{sequence} = [ ]

Type

(future) Describes the type of a potential object.

ty :type(natural)

Schema

Description of a structure.

Record

Instance of a structure.

Class { A }
Object :Class