discover my articles

• How to implement monomorphization in two steps

  2021-09-01

  Monomorphization is a compiler optimization technique that replaces polymorphic code with concrete code.

• How a VM works: a high-level overview

  2021-08-01

  A high-level overview of how a virtual machine works and how it can be implemented.

• Writing a simple type checker from scratch

  2021-07-01

  A step-by-step guide to writing a simple type checker from scratch.