The Curious Engineer

All blogs / Compilers

Thunderseethe's Devlog

thunderseethe.dev/posts

Recent content in Posts on Thunderseethe's Devlog

CompilersFunctional / PL theory

Posts
29 from 17 Jun 2023 to 19 Feb 2026
Posting
monthly (7 in the last year)
Kind
personal blog
Feed
https://thunderseethe.dev/posts/index.xml

2026 3

  1. Compiler Education Deserves a Revolution
  2. How to Choose Between Hindley-Milner and Bidirectional Typing
  3. Making an LSP for great good

2025 17

  1. Resolving Names Once and for All
  2. Desugaring the Relationship Between Concrete and Abstract Syntax
  3. Reproachfully Presenting Resilient Recursive Descent Parsing
  4. Pushing Past the First Error During Type Inference
  5. Wasm Does not Stand for WebAssembly
  6. Skipping the Backend by Emitting Wasm
  7. Closure Conversion Takes the Function out of Functional Programming
  8. Casting out Polymorphism with Monomorphization
  9. Back to Basics by Simplifying our IR
  10. Function Application Needs to Grow a Spine Already
  11. Lowering Top Level Items
  12. The Heart of Lowered Rows
  13. The Types of Lowered Rows
  14. Lowering Row Types, Evidently
  15. Escaping the Typechecker, an Implementation
  16. Lowering our AST to Escape the Typechecker
  17. DeBruijn Indices: Picking Equatable Names

2024 3

  1. Traits are a Local Maxima
  2. Checking Types of Top Level Functions
  3. I'm Betting on Call-by-Push-Value

2023 6

  1. In Search of the Perfect Fold
  2. Rowing Afloat Datatype Boats
  3. What's in a Module?
  4. Tying up Type Inference
  5. Turning our AST Into Type Constraints
  6. Typechecking a Language Without a Parser