- ClosureConvert[0].Base: Closure Conversion Takes The Function Out Of Functional Programming
May 14, 2025
⊢
Converting our lambda functions into closures for the Base IR.
- Monomorph[0].Base: Casting Out Polymorphism with Monomorphization
May 11, 2025
⊢
Instantiating concrete functions from generic roots
- Simplify[0].Base: Back to basics by simplifying our IR
April 30, 2025
⊢
Optimizing our base IR via inlining
- Function Application Needs to Grow a Spine Already
March 31, 2025
⊢
Typechecking multiple applications at a time opens new opportunities for inferring types
- Lowering[2].Items: Lowering Top Level Items
March 4, 2025
⊢
Lowering top level items into our IR. A more elaborate affair than anticipated.
- Lowering[1].Rows[2]: The Heart of Lowered Rows
February 26, 2025
⊢
Lowering row asts by generating evidence terms
- Lowering[1].Rows[1]: The Types of Lowered Rows
February 18, 2025
⊢
Lowering row evidence from our type scheme
- Lowering[1].Rows[0]: Lowering Row Types, Evidently
February 11, 2025
⊢
Explaining how we'll lower row types into our IR
- Lowering[0].Base[1]: Escaping the Typechecker, an Implementation
February 4, 2025
⊢
Implementation of our lowering function
- Lowering[0].Base[0]: Lowering Our AST to Escape the Typechecker
January 28, 2025
⊢
Lowering our typed base AST into a System-F based IR