Strongly-Typed Languages

Strongly typed means that there are restrictions between conversions between types.