1.強類型：強制數據類型定義的語言
不容忍隱式類型轉換。一旦一個變量被指定了某個數據類型，如果不經過強制轉換，那麼它就永遠是這個數據類型了。
舉例：如果你定義了一個整型變量a,那麼程序根本不可能將a當作字符串類型處理。
強類型定義語言是類型安全的語言。
2.弱類型：
它與強類型定義語言相反, 一個變量可以賦不同數據類型的值。
允許隱式類型轉換，如C/C++中的int可以變成double
3.靜態類型：如C/C++、C#、JAVA
數據類型在編譯時檢查的，所以要聲明所有變量的數據類型，此時類型錯誤是語法錯誤。
4.動態類型：如Python
指在運行期間纔去做數據類型檢查的語言，所以用動態類型的語言編程時不需要給變量指定數據類型。
該語言會在你第一次賦值給變量時，在內部將數據類型記錄下來。
所以在編譯的時候不知道變量類型，此時類型錯誤是運行錯誤。
5.編譯型和解釋型語言
（1）程序執行速度快，像C/C++、Pascal/Object Pascal（Delphi）、VB等。
一次把所有的代碼轉換成機器語言，然後寫成可執行文件；
（2）解釋型語言提高了不同系統平臺間的兼容性，如Java、JavaScript、VBScript、Perl、Python等等。
在程序運行的前，還只有源程序而沒有可執行程序；程序每執行源程序的某一條指令，就需要額外的解釋程序進行解釋並運行。