- Pushing Past the First Error During Type Inference
November 10, 2025
⊢
Improving our type inference to support multiple errors and interactive IDE use cases
- Function Application Needs to Grow a Spine Already
March 31, 2025
⊢
Typechecking multiple applications at a time opens new opportunities for inferring types
- Checking Types of Top Level Functions
July 5, 2024
⊢
Adding support for annotated top level items to our type checker
- Rowing Afloat Datatype Boats
October 21, 2023
⊢
Row, row, row your types
- Tying up Type Inference
July 1, 2023
⊢
Solve Type Constraints via Unification
- Turning Our AST Into Type Constraints
June 24, 2023
⊢
Generate Type Constraints with a Bidirectional Type System
- Typechecking a Language without a Parser
June 17, 2023
⊢
Designing a language, types first