← Back

Understanding Module Systems

This is a series of notes to myself about module systems, undertaken as an attempt to understand them better.

• Aug 23, 2026

  1. Modules are like Vending Machines

• Aug 25, 2026

  2. Formal Signature Specification

• Aug 28, 2026

  3. Building a Program from Modules

• Sep 1, 2026

  4. Translucency, Signature Subsumption, and Sharing Constraints