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

M>«Адвекватность» программистов измеряется чем? Могу только повторить. Абсолютно адекватный, полностью статически проверенный код:
В каком месте он адекватный?
Где происходит статическая проверка схемы?

А твоим методом можно легко обозвать любой динамически типизированный язык статически типизированным.

M>В первом случае статическая типизация была, она сильно помогла?
В первом случае был близкий аналог
(B*)(void*)(new A())
Те типы были выкинуты.
Такое можно делать, только если есть железная гарантия что A == B.
Разработчики её не обеспечили. Ессно код сломался.

WH>> Твой второй пример именно про случай, когда её нет.
M>Я не вижу, каким образом это «случай, когда ее нет». Ах да, мы упираемся в неизвестные критерии «адекватности программистов», ага
Где происходит статическая проверка схемы?