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

N>Не вижу причин присобачивать к динамическому языку костыли в виде системы проверки типов. Тут всего лишь другой подход — у него есть свои плюсы и минусы — так же как и у статически типизированных языков. Если смотреть с точки зрения C#/Java-программиста — то да, без проверки типов жить невозможно.
Назови хоть один минус статической типизации.

N>А вот мне с точки зрения любителя функциональных и динамических языков непонятно, как можно жить без возможности pattern matching'а и добавления методов в рантайме.
Зачем добавлять метода в рантайм?
Где ты видел pattern matching в жибаскрипте?

N>Каюсь, про приближение к gcc, конечно, преувеличил. И я не уточнил — приближается к gcc производительность в определенных задачах, за счет JIT компиляции.
Она приближается _только_ там где код фактически статически типизированный.

N>Теперь у меня встречный вопрос — как средствами самого языка в Java добавить mixin'ы?
Они есть в скале из коробки. А скала компилируется все в ту же JVM.
В немерле их можно на раз два прикрутить макросами.