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

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

В рантайме? Ну, так это и будет интерпретацией.

C>А вот почитатели динамических языков так не считают. И примеры
C>Ruby'шного кода, которые приводит eao197 показывают, что это вполне полезно.

Ну, вот я как-то не вижу особой разницы в коде при том, что вижу разницу в контроле, надежности и скорости.