Критика Scala

[metaclass]

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

Comments

[clayrat.livejournal.com]

Бенжамин Пирс (который TAPL написал) предлагал contracts пару лет назад
не знаю, что там из этой затеи вышло

[volodymir-k.livejournal.com]

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