Enum types

[thosakwe]

Enums by themselves would be anonymous. Typedefs would be used to provide access to these. To access specific fields, use the :: symbol.

type PromiseState = enum { pending, fulfilled, errored }
type Promise<T> = { state: PromiseState, value: T? }

fn doSomethingAsync<T>(value: T): Promise<T> => { value, state: PromiseState::fulfilled }

[tejainece]

Could this be a more compact syntax:

enum PromiseStat { pending, fulfilled, errored }

[thosakwe]

That could definitely be doable, and wouldn’t be that hard to parse.

My only concern is consistency. Since all other types are declared with “type foo”, I think it would be smart to also declare enums in the same way.

[thosakwe]

Remaining:

• Support sugar (Support enum sugar #58)
• Allow expressions that reference a member ::