Records

[akovari]

• Implemented using tuples, where the first element is the name of the record

• Syntax sugar, derived from tuple syntax, that is removed during parsing

• Records are module scoped

• Declaration syntax:

record Person = (first_name, last_name)

• New record syntax:

let person = Person(first_name = "Adam") # at least one field is required, although it can technically be ()

• Field access syntax:

person.first_name

• Pattern matching syntax:

fun Person(first_name=f, last_name=l) # where f and l are bound to the values of first/last name from that record

fun p@Person # way to access the whole record in pattern matching, similar to sequences for example

• Update record field:

let new_record = old_record(field = value)

[akovari]

@kurobako I updated this with what I'm thinking could be done pretty quickly...

[kurobako]

I am not sure if I like (foo, bar) syntax since it looks like a tuple (yes it is, but element indices are different since first one is the symbol. Can we use something else instead? { } are free iirc, wdyt?