2021-09-06

2021-09-08

higher order types

• a sequence: all values are of the same type
• a tuple: a sequence of fixed length where the type of each value is fixed
• a record: a tuple where each position is associated with an attribute

common types

• type tagged value: the value is preceded with a reference to a type
• unsigned integer
• utf-8 string
• uuid

This site is generated with zetgen