Strongly Typed Language

What is a 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.