對于動態語言與靜態語言的區分，套用一句流行的話就是：Static typing when possible, dynamic typing when needed。

“動”或“靜”，強調的是實施類型的時間，編譯里就要確定類型的是靜態類型，比如C/C++/JAVA/C#，運行時才實施類型的則是動態類型，比如VB/Python。  
   
而“強”或“弱”剛強調實施類型的強度，強類型的語言，如C++等，變量的類型不可隨意轉換；而弱類型的語言，變量的類型可以隨需要任意轉換，而且通常都是隱式的。

靜態類型語言是指在編譯時變量的數據類型即可確定的語言，多數靜態類型語言要求在使用變量之前必須聲明數據類型，某些具有類型推導能力的現代語言可能能夠部分減輕這個要求.

動態類型語言是在運行時確定數據類型的語言。變量使用之前不需要類型聲明，通常變量的類型是被賦值的那個值的類型。

強類型語言是一旦變量的類型被確定，就不能轉化的語言。實際上所謂的貌似轉化，都是通過中間變量來達到，原本的變量的類型肯定是沒有變化的。

弱類型語言則反之，一個變量的類型是由其應用上下文確定的。比如語言直接支持字符串和整數可以直接用 + 號搞定。當然，在支持運算符重載的強類型語言中也能通過外部實現的方式在形式上做到這一點，不過這個是完全不一樣的內涵

通常的說，java/python都算是強類型的，而VB/Perl/C都是弱類型的.
不過相比于動態/靜態語言的分類，強類型/弱類型更多的是一個相對的概念。