程式語言的特性本質（一）靜態語言與動態語言的信任抉擇

型態系統是對底層位元組的抽象化，開發者只要瞭解型態，就可得知如何以高階操作處理資料，開發者選擇程式語言的第一步，就是如何從語法得知型態資訊，也就是決定選用靜態語言或動態語言。

具體來說，靜態語言是指變數是否帶有資料儲存型態，反之則為動態語言。

靜態語言的變數本身帶有型態資訊。例如底下的Java範例中，text宣告為String，就僅可參考String實例，若嘗試參考至其它型態，則會引發編譯錯誤：

String text = "programmer";
text = {'p', 'r', 'o'}; // 編譯錯誤

動態語言的變數只用來參考資料，本身不帶有型態資訊。例如底下的Python範例中，text可參考至str實例，也可參考至list實例：

text = 'programmer'
text = ['p', 'r', 'o']

更多內容：http://www.ithome.com.tw/itadm/article.php?c=73445