Я слышал термин «универсальный тип», брошенный в контексте систем языка программирования, знает ли кто-нибудь, что это значит? Это что-то связано с объектами, такими как String, где два экземпляра «foo» идентичны, хотя («foo» == «foo») может быть ложным?Что такое универсальный тип?
Быстрый поиск в Википедии: Top Type: «Верхний тип теории типов, обычно сокращенный как верхний или нижний символ (⊤), является универсальным типом - этот тип, который содержит все возможные объекты в типе система интереса ". Другими словами, это класс «Объект», который (прямо или косвенно) является суперклассом каждого другого класса. Как указывает страница, C++ необычен среди языков OO, поскольку он не имеет универсального типа.
Russell's Paradox скрывается в крыльях. Так же, как вы можете разбить свою математическую систему, когда вы начинаете проникать в такие вещи, как «набор всех наборов», вы также можете сломать свою систему типов, если вы слишком сильно бланы и eacute; о типе всех типов. Проектирование систем типа требует немного заботы.