Closure Conversion Takes The Function Out Of Functional Programming

Back to basics by simplifying our IR

Part 7: Lowering Top Level Items

Function Application Needs to Grow a Spine Already

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

Picking Equatable Names

Traits are a local maximum

TypeChecking 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?

Designing a Language Without a Parser