Typing discipline: Untyped

A programming language is untyped if it allows to apply any operation on any data, and all datatypes are considered as sequences of bits of various lengths. Most assembly languages are examples of untyped languages, as well as a few high-level ones like BCPL.

Untyped languages are the contrast of typed languages.