VladD2 wrote:
> Так проблема в том, что сам язык не очень подходит для вывода типов.
> Отсюда и трудности. Проще сразу ввести в язык нужные ограничения. Тогда
> вывод типов из шаманста становится четким алгоритмом.
Просто вывод типов нужно делать постоянно.

> Изменение типов во время работы тоже приводит к проблемам. Ну, добавить
> метод еще моно, а удалить или изменить что-то в классе — это уже приплызд.
А вот почитатели динамических языков так не считают. И примеры
Ruby'шного кода, которые приводит eao197 показывают, что это вполне полезно.