The Convenience of a Type System

Feb 6, 2025 · 6 min read · Context: Exploring the usefulness of type systems in the development of software. This is not a programming languages deep dive, so terminology might be custom-fitted for this discussion. I do not try to define terms in the absolute, but I aim to ex...