Tuples and records

A tuple is written as two or more comma-separated components enclosed by parentheses:

def a_tuple : (i32, bool) = (1, true)

The components of a tuple can be extracted with projections or with a pattern binding:

def projection =
  a_tuple.0

def patmatch =
  let (a,b) = a_tuple
  in a

Pattern bindings are not allowed in top-level let declarations, but only inside let expressions (which are terminated with in).

Like arrays, tuple projection is 0-indexed.

Records are written as fields enclosed by curly braces:

def a_record : {foo: i32, bar: bool} =
  {foo = 1, bar = true}

Similarly to tuples, their components are also accessed with projections and pattern binding:

def record_projection =
  a_record.foo

def record_patmatch =
  let {foo = x, bar = y} = a_record
  in x

When pattern binding, we can also leave off variable names for the field, in order to bind variables of the same name as the fields:

def record_patmatch_impl =
  let {foo, bar} = a_record
  in foo

We can use record updates to change the value of a field:

def another_record =
  a_record with bar = false

Records and tuples are very similar. In fact, a tuple is just a record where all the fields look like numbers counted from 0:

def another_tuple : (i32, bool) =
  {0 = 0, 1 = true}