強類型語言

強類型語言也稱為強類型定義語言。是一種總是強制類型定義的語言，要求變數的使用要嚴格符合定義，所有變數都必須先定義後使用。

java、.NET、Python等都是強制類型定義的。也就是說，一旦一個變數被指定了某個數據類型，如果不經過強制轉換，那么它就永遠是這個數據類型了。

例如你有一個整數，如果不顯式地進行轉換，你不能將其視為一個字元串。

與其相對應的是弱類型語言：數據類型可以被忽略的語言。它與強類型定義語言相反, 一個變數可以賦不同數據類型的值。