關(guān)于如題這幾個(gè)概念，大部分人應(yīng)該比較熟悉，但是我昏了好久，所以寫下來加深印象。

1. 動(dòng)態(tài)語言

又叫動(dòng)態(tài)編程語言，是指程序在運(yùn)行時(shí)可以改變其結(jié)構(gòu)：新的函數(shù)可以被引進(jìn)，已有的函數(shù)可以被刪除等在結(jié)構(gòu)上的變化。比如眾所周知的ECMAScript(JavaScript)便是一個(gè)動(dòng)態(tài)語言。除此之外如Ruby、Python等也都屬于動(dòng)態(tài)語言，而C、C++等語言則不屬于動(dòng)態(tài)語言。

而其實(shí)我們平時(shí)說的“動(dòng)態(tài)語言”應(yīng)該指的是“動(dòng)態(tài)類型語言”。至少我之前一直是這么認(rèn)為的。

2. 動(dòng)態(tài)類型語言

在運(yùn)行時(shí)，確定類型的語言。
即編譯時(shí)與類型無關(guān)。一般在變量使用之前不需要聲明變量類型，而變量的類型通常是由被賦的值的類型決定。 如php、Python和Ruby。

3. 靜態(tài)烈性語言

與動(dòng)態(tài)類型語言正好相反，在編譯時(shí)，便需要確定類型的語言。即寫程序時(shí)需要明確聲明變量類型。如C/C++、Java、C#等。

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

4. 強(qiáng)類型語言

強(qiáng)制數(shù)據(jù)類型定義的語言。也就是說，一旦一個(gè)變量被指定了某個(gè)數(shù)據(jù)類型，如果不經(jīng)過強(qiáng)制轉(zhuǎn)換，那么它就永遠(yuǎn)是這個(gè)數(shù)據(jù)類型了。
強(qiáng)類型定義語言是類型安全的語言。

5. 弱類型定義語言

數(shù)據(jù)類型可以被忽略的語言。它與強(qiáng)類型定義語言相反, 一個(gè)變量可以賦不同數(shù)據(jù)類型的值。
強(qiáng)類型定義語言在速度上可能略遜色于弱類型定義語言，但是強(qiáng)類型定義語言帶來的嚴(yán)謹(jǐn)性能夠有效的避免許多錯(cuò)誤。
另外，由上邊看出“這門語言是不是動(dòng)態(tài)類型語言”與“這門語言是否類型安全”之間是完全沒有聯(lián)系的！