Dictionary.net

Strict enforcement of type rules with noexceptions. Incorrect type usage can be detected either atrun time or at compile time. Strong typing catches moretype errors than weak typing, resulting in fewer harderrors. In a strongly typed language, conversion betweentypes requires the use of explicit conversion functions ("casts") as opposed to implicit type coercion.Typing strength is a continuum; ML is more strongly typedthan Java, which is more strongly typed than C.Strong or weak typing is independent of the choice betweenstatic typing and dynamic typing. Among strongly typedlanguages, Ada, Java, Haskell and ML are staticallytyped, whereas Python and Ruby are dynamically typed.