Критика Scala

[metaclass]

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

Comments

[gds.livejournal.com]

а ещё можно оформлять гетерогенное в смысле операций, которые требуются от элементов. Например, если хочется их в строку оформлять: https://gist.github.com/gdsfh/e274ec730563a77905ab (ну, объекты там не обязательны, но при расширении идеи на реальные задачи они весьма желательны)
А если нужно реально гетерогенное, без предварительных объявлений типов, можно скатиться в контролируемую (не "распространяющуюся как зараза по исходнику", в смысле) динамическую типизацию, есть у меня библиотечка cadastr.
(кстати, у камлоёбов есть чятик ocaml на conference.jabber.ru.)