Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.
Benjamin C. Pierce: Types and Programming Languages
Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.
Benjamin C. Pierce: Types and Programming Languages
There's wisdom in types.
[...] as a rough-and-ready indication of what we mean by a "type," we may say that individuals, classes of individuals, relations between individuals, relations between classes, relations of classes to individuals, and so on, are different types.
Bertrand Russell: Introduction to Mathematical Philosophy