Tag
module-systems
- Jun 18, 2026 Phase Separation and the Ordering of Compilation Stages Why a macro must be defined before it is used, how phase levels propagate through module dependencies, and what transitive phase shifting costs in compilation work. programming languages
- Oct 24, 2023 Package Encapsulation and the Leak of Internal Types How languages draw the visibility line around a package, which constructs quietly widen it, and why an exported type in a public signature defeats the boundary it was meant to protect. software architecture
- Oct 13, 2023 Applicative and Generative Functors in Modular Type Checking Why two applications of the same functor may or may not produce compatible abstract types, how path-based strengthening decides it, and what sealing hides. programming languages