Исходное сообщение
"Firefox 18 перейдёт на IonMonkey, JIT-компилятор нового поко..." Отправлено Vkni, 13-Сен-12 01:58
> Ну вот нет, по определению, потому что модуль обязан проверять входящие данные > в динамике Ну проверит, поймёт, что ему 4999 раз выдавали целое, как надо, на 5000-й раз передали строку. И что дальше он будет делать с этой строкой - неправильным типом? Программа-то тогось. Самое разумное, что можно сделать - это вывалиться с ошибкой. А со статической компиляцией вы бы такой ляп исправили бы ещё до тестирования. Компилятор вывел и проверил типы. И всё. Ещё раз, статическая типизация совершенно не означает, что вы везде должны указывать тип. В подавляющем большинстве мест в современном языке тип выражения компилятор определит сам. И, фактически, для вас динамическое типизирование от статического с системой вывода типов отличается только тем, что в паре мест типы нужно привести явно, да компилятор в статике проверит корректность вывода типов. Всё остальное - такое же.