> How does compiling a program ensure that it is robust on a range of inputs? This is quite literally the job of a type system: to impose a semantic interpreta

> How does compiling a program ensure that it is robust on a range of inputs? This is quite literally the job of a type system: to impose a semantic interpretation on sequences of "raw bits" and let you specify legal (and only legal) operations in terms of the semantic interpretation rather than the bits.