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

C>Iron.Python (как и Jython до этого) пытается производить вывод типов,
C>в тех случаях когда это удается — вставляет готовый IL. В остальных
C>случаях использует интерпретатор.

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

А так первый же ввод/вывод и ты приплыл. Ведь никто не знает, что ты там введешь строку или число.

Изменение типов во время работы тоже приводит к проблемам. Ну, добавить метод еще моно, а удалить или изменить что-то в классе — это уже приплызд.