Scripting - Compiler - ADTs

[vurvdev]

Want to add algebraic data types / sum types via enums.

Syntax

enum Foo {
    Bar { a: number },
    Baz { s: string },
    Qux,
}

These are available in most modern languages alongside pattern matching which should be done later on to match this (otherwise this would be pointless)

[vurvdev]

Best case they can be implemented as syntax sugar for discriminated unions like you have to manually do in Typescript.

Ie

enum Foo {
    Bar { baz: number }
}

// Becomes
type Foo = { _d: 1, baz: number }

Where _d is some arbitrary field that will be used as a discriminant

If that proves to be too much of a pain to implement in the type system might need to make it an actual separate construct