История изменений
Исправление www_linux_org_ru, (текущая версия) :
или одно и то же значение может иметь разный тип, в зависимости от того в каком терме оно появляется, причем один тип не является подтипом другого! Бред полный.
ну да, даже с твоим подходом «типы это множества» число 0 имеет как минимум 2 типа {0, 1} и {0, 2}, причем ни один тип не является подтипом другого
и кто тут бредит?
Исходная версия www_linux_org_ru, :
или одно и то же значение может иметь разный тип, в зависимости от того в каком терме оно появляется, причем один тип не является подтипом другого! Бред полный.
ну да, даже с твоим подходом «типы это множетства» число 0 имеет как минимум 2 типа {0, 1} и {0, 2}, причем ни один тип не является подтипом другого
и кто тут бредит?