什麼是通用類型？

Question

我聽說過在編程語言類型系統中拋出的術語「通用類型」，有人知道這意味着什麼嗎？是否與像String這樣的對象有關，即使（「foo」==「foo」）可能是錯誤的，兩個「foo」實例是相同的？

Answer 1

快速維基百科搜索出現：Top Type：「類型理論中的頂級類型，通常縮寫爲頂部或由倒下符號（⊤）表示通用類型 - 該類型包含類型中的每個可能對象感興趣的系統「。換句話說，它是「對象」類，它是（直接或間接）每個其他類的超類。正如頁面指出的那樣，C++在OO語言中是不尋常的，因爲它沒有通用類型。

Answer 2

Russell's Paradox潛伏在翅膀裏。就像當你開始進入諸如「所有集合的集合」之類的時候你可以打破你的數學系統一樣，如果你有點太過於盲目，你也可以打破你的類型系統;關於所有類型的類型。設計類型系統需要小心謹慎。