Исходное сообщение
"Firefox 18 перейдёт на IonMonkey, JIT-компилятор нового поко..." Отправлено Vkni, 13-Сен-12 12:59
> Формальный синтаксис проверяется полностью и в динамических языках, Мы с вами немножечко смешали две "фичи" JS, неприятные на больших проектах - динамическую систему типов и интерпретацию. Из-за интерпретации формальный синтаксис у JS проверяется только там, где происходит выполнение. У статически компилируемых языков все ветви проверяются на стадии компиляции. Уж хотя бы по синтаксису, а чаще и ещё глубже. > а вот что касается логических ошибок в ходе исполнения, то ситуация в статике не лучше Почему же? Если не использовать массивы и другие хаки, то можно быть уверенным в том, что левый тип передан не будет. То есть, то, что вы получите структуру ровно такого размера/объёма, какую заказывали. В большинстве мест в программе массивы не передаются => вы уже от серьёзной части ошибок избавились.