What are types for?

Strachey 100: an Oxford Computing Pioneer by Oxford University

Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string. But this is only half of the benefit of types: it is what types a...View more