Критика Scala

[metaclass]

http://overwatering.org/blog/2013/12/scala-1-star-would-not-program-again/
Язык с нормальным балансом статических проверок типов и динамической типизации вида "нахрен объекты, используем мапы" наверно, еще не скоро появится.

Comments

[jakobz.livejournal.com]

А как оно на практике? Мне не очень понятно как такая штука может нормально работать в языке с let-it-crash философией. Как определить специально в конкретной строчке собираются упасть или нет?

[zerthurd.livejournal.com]

Типизация имеет такое же отношение к let-it-crash, как и к чтению из TCP. Как определить специально в конкретной строчке собираются прочесть 0x14 или 0x88?

[zerthurd.livejournal.com]

А диалайзер на практике используется очень хорошо. Определяешь функцию, и если захотел её усилить типами, пишешь тайпспеку. Диалайзер может сам вывести тип для локальных функций, а можно ему подсказать, если функция внешняя и диалайзер не знает, как её будут использовать. Сначала диалайзер делает plt-файл, куда включаются все зависимости, которые не будут меняться в коде, это занимает достаточно много времени, несколько минут. Потом его можно быстро запускать после каждой компиляции или перед коммитом и он показывает несоответствия типов.