Tag: Type Inference
- Part 4: TypeChecking Top Level FunctionsJuly 5, 2024 ⊢ Adding support for annotated top level items to our type checker
- Part 3: Rowing Afloat Datatype BoatsOctober 21, 2023 ⊢ Row, row, row your types
- Part 2: Tying up Type InferenceJuly 1, 2023 ⊢ Solve Type Constraints via Unification
- Part 1: Bidirectional Constraint GenerationJune 24, 2023 ⊢ Generate Type Constraints with a Bidirectional Type System
- Part 0: Designing a Language without a ParserJune 17, 2023 ⊢ Designing a language, types first