Что такое универсальный тип?

Question

Я слышал термин "универсальный тип", использованный в контексте систем типов языков программирования. Кто-нибудь знает, что это значит? Это как-то связано с объектами типа String, где два экземпляра «foo» идентичны, хотя («foo» == «foo») может быть ложным?

Answer 1

Появляется быстрый поиск по Википедии: Тип вершины : "Тип вершины в теории типов, обычно сокращенно как вершина или символ вниз (⊤), является универсальным типом - этот тип, который содержит каждый возможный объект в системе типов интересов ". Другими словами, это класс «Object», который (прямо или косвенно) является суперклассом любого другого класса. Как указывает страница, C ++ необычен среди ОО-языков, поскольку не имеет универсального типа.

Answer 2

парадокс Рассела скрывается в крыльях. Точно так же, как вы можете сломать свою математическую систему, когда вы начнете разбираться с такими вещами, как «множество всех множеств», вы также можете сломать свою систему типов, если вы немного слишком вздорны; о типе всех типов. Проектирование систем типов требует небольшой осторожности.