- Part 6b: The Types of Lowered Rows
February 18, 2025
⊢
Lowering row evidence from our type scheme
- Part 6a: Lowering Row Types, Evidently
February 11, 2025
⊢
Explaining how we'll lower row types into our IR
- Part 5b: Escaping the Typechecker, an Implementation
February 4, 2025
⊢
Implementation of our lowering function
- Part 5a: Lowering Our AST to Escape the Typechecker
January 28, 2025
⊢
Lowering our typed base AST into a System-F based IR
- Part 4: TypeChecking Top Level Functions
July 5, 2024
⊢
Adding support for annotated top level items to our type checker
- Part 3: Rowing Afloat Datatype Boats
October 21, 2023
⊢
Row, row, row your types
- Part 2: Tying up Type Inference
July 1, 2023
⊢
Solve Type Constraints via Unification
- Part 1: Bidirectional Constraint Generation
June 24, 2023
⊢
Generate Type Constraints with a Bidirectional Type System
- Part 0: Designing a Language without a Parser
June 17, 2023
⊢
Designing a language, types first