definição prévia do tipo de variável

strong typing

<programming> Strict enforcement of type rules with no
exceptions. All types are known at compile time, i.e. are
statically bound. With variables that can store values of
more than one type, incorrect type usage can be detected at
run time.

Strong typing catches more errors at compile time than weak
typing, resulting in fewer run-time exceptions.

The languages Ada, Java, and Haskell are strongly typed.
Pascal is (almost) strongly typed.

C and C++ are sometimes described as strongly typed, but
are perhaps better described as weakly typed.

(2000-07-04)

--------------------------------------------------
Note added at 9 mins (2009-11-18 21:14:07 GMT)
--------------------------------------------------

Linguagens de programação "strongly typed" - fortemente tipadas são aquelas em que o tipo da variável é especificado no momento da escrita do código. Isto permite que o compilador detecte erros de conversão entre os tipos.