Ensuring correctness through the type system
Summary
The post argues that correctness in software should be enforced by the type system rather than ad-hoc validations. It discusses using typed approaches (Java, Gleam, Cloure specs) to prevent invalid states at compile time, and contrasts pushing validation outward versus inward to achieve maintainable, scalable code. The author advocates driving correctness through API design and type composition.