- Part 7: Lowering Top Level Items
March 4, 2025
⊢
Lowering top level items into our IR. A more elaborate affair than anticipated.
- Part 6c: The Heart of Lowered Rows
February 26, 2025
⊢
Lowering row asts by generating evidence terms
- 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
- DeBruijn Indices: Picking Equatable Names
January 23, 2025
⊢
An explanation of DeBruijn Indices
- Traits are a Local Maxima
November 18, 2024
⊢
An expose on Implicits and Local Coherence
- Part 4: TypeChecking Top Level Functions
July 5, 2024
⊢
Adding support for annotated top level items to our type checker
- I'm betting on Call-by-Push-Value
March 9, 2024
⊢
Why call-by-push-value is the best evaluation strategy, and why it's going to take over