strongly typed

Strongly typed means that there are restrictions between conversions between types. Strongly-typed languages don’t allow implicit conversions between unrelated types.