Tag: Type Inference
- Function Application Needs to Grow a Spine AlreadyMarch 31, 2025 ⊢ Typechecking multiple applications at a time opens new opportunities for inferring types
- Checking Types of Top Level FunctionsJuly 5, 2024 ⊢ Adding support for annotated top level items to our type checker
- Rowing Afloat Datatype BoatsOctober 21, 2023 ⊢ Row, row, row your types
- Tying up Type InferenceJuly 1, 2023 ⊢ Solve Type Constraints via Unification
- Turning Our AST Into Type ConstraintsJune 24, 2023 ⊢ Generate Type Constraints with a Bidirectional Type System
- Typechecking a Language without a ParserJune 17, 2023 ⊢ Designing a language, types first