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

“動(dòng)”或“靜”，強(qiáng)調(diào)的是實(shí)施類(lèi)型的時(shí)間，編譯里就要確定類(lèi)型的是靜態(tài)類(lèi)型，比如C/C++/JAVA/C#，運(yùn)行時(shí)才實(shí)施類(lèi)型的則是動(dòng)態(tài)類(lèi)型，比如VB/Python。  
   
而“強(qiáng)”或“弱”剛強(qiáng)調(diào)實(shí)施類(lèi)型的強(qiáng)度，強(qiáng)類(lèi)型的語(yǔ)言，如C++等，變量的類(lèi)型不可隨意轉(zhuǎn)換；而弱類(lèi)型的語(yǔ)言，變量的類(lèi)型可以隨需要任意轉(zhuǎn)換，而且通常都是隱式的。

靜態(tài)類(lèi)型語(yǔ)言是指在編譯時(shí)變量的數(shù)據(jù)類(lèi)型即可確定的語(yǔ)言，多數(shù)靜態(tài)類(lèi)型語(yǔ)言要求在使用變量之前必須聲明數(shù)據(jù)類(lèi)型，某些具有類(lèi)型推導(dǎo)能力的現(xiàn)代語(yǔ)言可能能夠部分減輕這個(gè)要求.

動(dòng)態(tài)類(lèi)型語(yǔ)言是在運(yùn)行時(shí)確定數(shù)據(jù)類(lèi)型的語(yǔ)言。變量使用之前不需要類(lèi)型聲明，通常變量的類(lèi)型是被賦值的那個(gè)值的類(lèi)型。

強(qiáng)類(lèi)型語(yǔ)言是一旦變量的類(lèi)型被確定，就不能轉(zhuǎn)化的語(yǔ)言。實(shí)際上所謂的貌似轉(zhuǎn)化，都是通過(guò)中間變量來(lái)達(dá)到，原本的變量的類(lèi)型肯定是沒(méi)有變化的。

弱類(lèi)型語(yǔ)言則反之，一個(gè)變量的類(lèi)型是由其應(yīng)用上下文確定的。比如語(yǔ)言直接支持字符串和整數(shù)可以直接用 + 號(hào)搞定。當(dāng)然，在支持運(yùn)算符重載的強(qiáng)類(lèi)型語(yǔ)言中也能通過(guò)外部實(shí)現(xiàn)的方式在形式上做到這一點(diǎn)，不過(guò)這個(gè)是完全不一樣的內(nèi)涵

通常的說(shuō)，java/python都算是強(qiáng)類(lèi)型的，而VB/Perl/C都是弱類(lèi)型的.
不過(guò)相比于動(dòng)態(tài)/靜態(tài)語(yǔ)言的分類(lèi)，強(qiáng)類(lèi)型/弱類(lèi)型更多的是一個(gè)相對(duì)的概念。