Страдает вывод типов, куча явных нарушений принципа Лисков даже в стандартных библиотеках, необходимость писать адаптеры на каждый чих при использовании сторонних библиотек и т.д. и т.п.
Так, а вот про нарушение Liskov substitution principle в стандартной библиотеке можно поподробнее?