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

I heard someone say in an interview (I think it was Anders Hejlsberg of C# and turbo pascal fame) that strong typing is not something that's on or off, some languages have a stronger type system than others.

There's also a lot of confusion between strongly, weakly, static and dynamic typing where staticly typed languages assign types to variables and dynamic languages give types to the objects stored in variables.

Try wikipedia for more info but don't expect a conclusive answer: http://en.wikipedia.org/wiki/Strongly_typed_language