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

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