Posts on Thunderseethe's Devlog thunderseethe.dev

Traits are a Local Maximum

thunderseethe.dev·78w·Lobsters, Hacker News

Checking Types of Top Level Functions

thunderseethe.dev·97w

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

thunderseethe.dev·114w

In Search of the Perfect Fold

thunderseethe.dev·129w

Rowing Afloat Datatype Boats

thunderseethe.dev·134w

What's in a Module?

thunderseethe.dev·146w

Tying up Type Inference

thunderseethe.dev·150w

Turning Our AST Into Type Constraints

thunderseethe.dev·151w

Typechecking a Language without a Parser

thunderseethe.dev·152w

Log in to enable infinite scrolling