# 1.2 靜態類型 靜態類型語言意味著變量必須指定一個類型，例如整型、字符串、布爾型和數組等。可以在聲明變量時指定變量類型。大多數情況下，讓編譯器自動去推斷變量類型（我們將看到一些簡單的例子）。 關于靜態類型，有許多相關內容可以介紹，但是我相信，要理解靜態類型最好的方法就是去閱讀代碼。如果你使用過動態類型語言，你可能會覺得靜態類型有點繁瑣。你的想法沒錯，但是靜態類型也有很多優點，尤其在編譯靜態類型的語言時，這2個觀點經常被混為一談。這是一個事實，但這不是一個硬性規定，你可以同時擁有動態類型和靜態類型的語言。在一些嚴格類型的系統中，編譯器只能檢測程序的一些語法錯誤和近一步的優化程序。 ## 鏈接