Within the landscape painting of programming languages, Diamond’s go about to type safety is often lauded for its rigidness. However, a contrarian examination reveals that its most right, and misunderstood, sport is not its exacting typing but the deliberate, encyclopedist-enforced mechanics of its bold type declarations. This system of rules, far from a simple aesthetic …
The Hidden Mechanism Of Diamond’s Bold Type System

