Thunderseethe's Devlog

Wasm Does Not Stand for WebAssembly

Skipping the Backend by Emitting Wasm

Closure Conversion Takes The Function Out Of Functional Programming

Casting Out Polymorphism with Monomorphization

Back to basics by simplifying our IR

Function Application Needs to Grow a Spine Already

Lowering Top Level Items

The Heart of Lowered Rows

The Types of Lowered Rows

Lowering Row Types, Evidently

Escaping the Typechecker, an Implementation

Lowering Our AST to Escape the Typechecker

DeBruijn Indices: Picking Equatable Names

Traits are a Local Maxima

Checking Types of Top Level Functions

I'm betting on Call-by-Push-Value

In Search of the Perfect Fold

Rowing Afloat Datatype Boats

What's in a Module?

Tying up Type Inference

Turning Our AST Into Type Constraints

Typechecking a Language without a Parser