What are the key aspects of a strongly typed language?

Question

What makes a language strongly typed? I\'m looking for the most important aspects of a strongly typed language.

Yesterday I asked if PowerShell was strongly typed, b

Answer 1

Strongly typed means you declare your variables of a certain type, and your compiler will throw a hissy fit if you try to convert that variable to another type without casting it.

Example (in java mind you):

int i = 4;
char s = i; // Type mismatch: cannot convert from int to char