Schlagwort: Typentheorie

Expected type Target, found Foot.

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

Casuality Theory.

There's wisdom in types.

Type It Easy.

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