Posts
- In Search of the Perfect FoldNovember 27, 2023 ⊢ My quixotic quest to design the perfect tree fold for Rust
- Part 3: Rowing Afloat Datatype BoatsOctober 21, 2023 ⊢ Row, row, row your types
- What's in a Module?July 31, 2023 ⊢ A discussion of the overloaded use of modules in languages
- 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