Ben

Type of arrays and other collection types

1

Given an array like ```ts let x = [1, 4, "item"] ``` It is typed (or will be as `{ [0]: 1, [1]: 4, [2]: "item" }`). The problem is...

Add playground

1

- Built using the Ezno WASM library and codemirror editor - Can take a search parameter to share specific snipptes - (will be) deployed to GitHub pages

Merge Ezno runtime definitions with existing TS definition files

3

Currently the checker is built around definitions from this file https://github.com/kaleidawave/ezno/blob/main/checker/definitions/overrides.d.ts To support more of the runtime (as highlighted in #118), the checker should be able to use definitions from...

Allow for more than u16::MAX types

1

**Currently all types are currently held under a single `Vec`, and `TypeId` is pointer into this vector. TypeId is a wrapped for a u16. To support larger files/codebases this needs...

Add more specification tests

2

#### If you haven't seen already Ezno [has a document that outlines all its current checking capabilities](https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md)! [](https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md) Each section contains error diagnostics that arise when checking the code block...

#126 adds allowing creating classes as a type which can be referenced As of #126 they are treated as being nominal. Given ```ts class X { a: number = 2...

Closure TDZ

1

Current TDZ finding is solved for [standard statements](https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md#tdz-in-statements) AND [for functions](https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md#tdz-from-free-variable-across-function) (as well as all things function-like). (thanks to #69 these errors have positions!) This works for conditional function calls...

- Interfaces require hoisting - This hoisting phase can't do type parameter extensions because the pass can't reference type annotations (they might be below, thus not seen yet and in...

Using `Type::Constructor` information in a condition, it should be possible to record some truths that follow in the current block. **Then** *getting-information-based-thingies* should be able to read these recorded information...

### Types - Classes (statement ones) need to be visited during hoisting - Scan their members and types - Create a class type from that - When synthesising a class,...