什麼是類型安全？

什麼是類型安全？ 類型安全，很大程度上，可以等價於內存安全。 類型安全的代碼，不會試圖訪問自己沒被授權的內存區域。 「類型安全」常被用來形容編程語言，其根據在於該門編程語言是否提供保障類型安全的機制； 有的時候，也用「類型安全」形容某個程序，判別的標準在於該程序是否隱含類型錯誤。 類型安全的編程語言與類型安全的程序之間，沒有必然聯繫。 好的程序員，可以使用類型不那麼安全的語言寫出類型相當安全的程序

>>阅读原文<<