類型安全_信息安全

什麼是類型安全？ 在計算機科學中，⼀部分編程語⾔具備類型安全的性質。這個術語在不同的社羣中有不同的定義，特別是正規的類型理論上的定義遠遠強過⼤多數的程序員的理解，但對於使⽤類型系統的認知，皆旨在避免必然的錯誤形式，和不良的程序⾏爲（稱爲類型錯誤）。 類型安全可以靜態⽅式實施，及早在編譯時期就捕捉到潛藏的錯誤；或者以動態⽅式，在運⾏時期觀察類型的信息，並在必要時檢測即將發⽣的錯誤。類型安全是編程語⾔

>>阅读原文<<