型別系統- 维基百科，自由的百科全书

3.1 靜態和動態檢查; 3.2 實踐中的靜態和動態型別檢查; 3.3 強型別和弱型別; 3.4 型別系統的安全性. 4 多態性和型別. 4.1 推斷型別. 5 顯示宣告和隱式暗示; 6 型別的型 ...

zh.wikipedia.org