The Convenience of a Type System

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...