- Reproachfully Presenting Resilient Recursive Descent Parsing
November 12, 2025
⊢
Parsing syntax for our base language with error recovery
- Pushing Past the First Error During Type Inference
November 10, 2025
⊢
Improving our type inference to support multiple errors and interactive IDE use cases
- Wasm Does Not Stand for WebAssembly
July 15, 2025
⊢
A case for why Wasm is neither Web nor Assembly
- Skipping the Backend by Emitting Wasm
June 13, 2025
⊢
Turning our Base IR into executable WebAssembly
- Closure Conversion Takes The Function Out Of Functional Programming
May 14, 2025
⊢
Converting our lambda functions into closures for the Base IR.
- Casting Out Polymorphism with Monomorphization
May 11, 2025
⊢
Instantiating concrete functions from generic roots
- 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 Top Level Items
March 4, 2025
⊢
Lowering top level items into our IR. A more elaborate affair than anticipated.
- The Heart of Lowered Rows
February 26, 2025
⊢
Lowering row asts by generating evidence terms