型別安全是指同一段內存在不同的地方，會被強制要求使用相同的型別來解釋(記憶體中的資料是用型別來解釋的)。
簡單地說型別安全一定程度等價於記憶體安全。
j**a語言是型別安全的，除非強制型別轉換。
c語言不是型別安全的，因為同一段記憶體可以用不同的資料型別來解釋，比如1用int來解釋就是1，用boolean來解釋就是true。
但是一般來說，所有程式語言只要使用得當，都可以視為型別安全的。
型別安全本質上取決於對記憶體中的資料的操作是否得當以及編譯器的強制措施
何謂「Linux城市」？
2005年3 月，南韓提出要搞所謂 linux 城市 計畫，受到國際社會的普遍關注。顧名思義，南韓 linux 城市 就是 純粹 linux 城市 簡單說來，就是不要 windows 的城市。今天看來，這種 純粹 linux 城市 的想法不夠科學，特別是對發展軟體業的指導 促進作用不大。當今，國際軟...
何謂「虛擬化」？
虛擬化 這個詞的意義出自英語詞根 virtual 形容詞 virtual 的含義是 事實上的，但並非正式的 almost what is stated in fact though not officially 由此，virtual 一詞的中文意思是，用來相容某種 虛構 虛擬 的什麼東西。虛者，非實...
何謂立沖帳？
傳統上在建立會計科目時，若有明細專案，就會在後面加上 ex.應收帳款 朝陽，來表示這個會計科目是屬於應收帳款，物件是朝陽。可是如果有很多個 則會變成建立 l應收帳款 朝陽 l應收帳款 中興 l應收帳款 正文 共使用三個會計科目。這樣不僅浪費會計科目 因為可能很久都沒使用到 也會使輸入更加不便 需查詢...