動態語言與靜態語言、強型別與弱類型

1 動態語言和靜態語言
　 通常我們所說的動態語言、靜態語言是指動態類型語言和靜態類型語言。
   1 動態類型語言：動態類型語言是指在運行期間才去做資料類型檢查的語言，也就是說，在用動態類型的語言編程時，永遠也不用給任何變數指定資料類型，該語言會在你第一次賦值給變數時，在內部將資料類型記錄下來。Python和Ruby就是一種典型的動態類型語言，其他的各種指令碼語言如VBScript也多少屬於動態類型語言。
   2 靜態類型語言：靜態類型語言與動態類型語言剛好相反，它的資料類型是在編譯其間檢查的，也就是說在寫程式時要聲明所有變數的資料類型，C/C++是靜態類型語言的典型代表，其他的靜態類型語言還有C#、JAVA等。
對於動態語言與靜態語言的區分，套用一句流行的話就是：Static typing when possible, dynamic typing when needed。

2 強型別定義語言和弱類型定義語言
  1 強型別定義語言：強制資料類型定義的語言。也就是說，一旦一個變數被指定了某個資料類型，如果不經過強制轉換，那麼它就永遠是這個資料類型了。舉個例子：如果你定義了一個整型變數a,那麼程式根本不可能將a當作字串類型處理。強型別定義語言是型別安全的語言。
 
 2 弱類型定義語言：資料類型可以被忽略的語言。它與強型別定義語言相反, 一個變數可以賦不同資料類型的值。
強型別定義語言在速度上可能略遜色於弱類型定義語言，但是強型別定義語言帶來的嚴謹效能夠有效避免許多錯誤。另外，“這門語言是不是動態語言”與“這門語言是否型別安全”之間是完全沒有聯絡的！
    例如：Python是動態語言，是強型別定義語言（型別安全的語言）; VBScript是動態語言，是弱類型定義語言（類型不安全的語言）; JAVA是靜態語言，是強型別定義語言（型別安全的語言）。

強型別語言是指需要進行變數/物件類型聲明的語言，一般情況下需要編譯執行。例如C/C++/Java/C#

弱類型語言是指不需要進行變數/物件類型聲明的語言，一般情況下不需要編譯(但也有編譯型的)。例如PHP/ASP/Ruby/Python/Perl/ABAP/SQL/JavaScript/Unix Shell等等