Strongly Typed Language
- Each variable must be declared with its own data type
- each data type should be associated with a value and operation (which operates on those values)
- implicit type conversions are not allowed
- explicit type conversions are legal.
for example, if i is integer and a is float,
then i=a; says it is implicit which is illegal, if i=(integer)a; then it is perfectly legal.