The Road To Version 0.5

[zerbina]

The goals / features for the version 0.5 milestone, which is the milestone following version 0. Version 0.5 is focused on improving the existing features and adding the things postponed from version 0.

Source Language Features

• record types
• static array types
• lang: add basic unpacking for union types #110
• dynamic indexing for tuple values
• floating-point multiplication, division, and modulo

Tooling / Specification

• add a meta-language for formal definitions #69
• WIP: next steps for the meta language #114
• add tests to make sure the implementation adheres to the language definition / correct the source language definition
• add the skully program #70
• fully-defined floating-point operational semantics

Internal Additions

• add an intermediate language that supports complex expressions (If, Case, etc.)

[zerbina]

Before working on any new or existing source language features, the meta-language for defining languages - plus the associated tooling - needs to be implemented first. The textual formal definition existing is good, but in its current form, it's hard to read, edit, and audit (let alone verify/test) -- growing it will only increases the amount of changes/corrections that need to be made once the testable/queryable definition exists.