Strongly Typed

Method of type enforcement at a language level. Strongly typed languages have restrictions when performing operations on values of different types.

Comparisons and math operations specifically may result in exceptions when unexpected types are mixed.

Compare to weakly typed languages.