1、動(dòng)態(tài)語(yǔ)言和靜態(tài)語(yǔ)言
　　通常我們所說(shuō)的動(dòng)態(tài)語(yǔ)言、靜態(tài)語(yǔ)言是指動(dòng)態(tài)類型語(yǔ)言和靜態(tài)類型語(yǔ)言。

（1）動(dòng)態(tài)類型語(yǔ)言：動(dòng)態(tài)類型語(yǔ)言是指在運(yùn)行期間才去做數(shù)據(jù)類型檢查的語(yǔ)言，也就是說(shuō)，在用動(dòng)態(tài)類型的語(yǔ)言編程時(shí)，永遠(yuǎn)也不用給任何變量指定數(shù)據(jù)類型，該語(yǔ)言會(huì)在你第一次賦值給變量時(shí)，在內(nèi)部將數(shù)據(jù)類型記錄下來(lái)。Python和Ruby就是一種典型的動(dòng)態(tài)類型語(yǔ)言，其他的各種腳本語(yǔ)言如VBScript也多少屬于動(dòng)態(tài)類型語(yǔ)言。

（2）靜態(tài)類型語(yǔ)言：靜態(tài)類型語(yǔ)言與動(dòng)態(tài)類型語(yǔ)言剛好相反，它的數(shù)據(jù)類型是在編譯其間檢查的，也就是說(shuō)在寫程序時(shí)要聲明所有變量的數(shù)據(jù)類型，C/C++是靜態(tài)類型語(yǔ)言的典型代表，其他的靜態(tài)類型語(yǔ)言還有C#、JAVA等。

對(duì)于動(dòng)態(tài)語(yǔ)言與靜態(tài)語(yǔ)言的區(qū)分，套用一句流行的話就是：Static typing when possible, dynamic typing when needed。

2、強(qiáng)類型定義語(yǔ)言和弱類型定義語(yǔ)言

（1）強(qiáng)類型定義語(yǔ)言：強(qiáng)制數(shù)據(jù)類型定義的語(yǔ)言。也就是說(shuō)，一旦一個(gè)變量被指定了某個(gè)數(shù)據(jù)類型，如果不經(jīng)過(guò)強(qiáng)制轉(zhuǎn)換，那么它就永遠(yuǎn)是這個(gè)數(shù)據(jù)類型了。舉個(gè)例子：如果你定義了一個(gè)整型變量a,那么程序根本不可能將a當(dāng)作字符串類型處理。強(qiáng)類型定義語(yǔ)言是類型安全的語(yǔ)言。

（2）弱類型定義語(yǔ)言：數(shù)據(jù)類型可以被忽略的語(yǔ)言。它與強(qiáng)類型定義語(yǔ)言相反, 一個(gè)變量可以賦不同數(shù)據(jù)類型的值。

強(qiáng)類型定義語(yǔ)言在速度上可能略遜色于弱類型定義語(yǔ)言，但是強(qiáng)類型定義語(yǔ)言帶來(lái)的嚴(yán)謹(jǐn)性能夠有效的避免許多錯(cuò)誤。另外，“這門語(yǔ)言是不是動(dòng)態(tài)語(yǔ)言”與“這門語(yǔ)言是否類型安全”之間是完全沒有聯(lián)系的！