Здравствуйте, VladD2, Вы писали:

VD>Можно ли рассматривать неявное приведение типов как вырожденный случай сабтайпинга

Хм, может я чего не понимаю, но разве с точки зрения вывода типов сабтайпин и неявный каст — это не одно и тоже?? сводить тайпкаст к наследованию — это как то странно выглядит, а вот считать, что наследование — это просто возможность скастить переменную к любому её предку — вполне логично. правда я не понимаю, чем тебе все эти рассуждения помогу. разве алго вывода типов упростится?? И вообще упомянутый Хиндли-Милнер будет работать например в языке без неявных кастов, но с наследованием?? В том же F# — не работает(как только появляются иерархии — нужно явно типы задавать)