metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2013-12-02 04:50 pm

Критика Scala

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

[identity profile] zerthurd.livejournal.com 2013-12-02 02:28 pm (UTC)(link)
В ерланге разве не так?

[identity profile] aamonster.livejournal.com 2013-12-02 02:41 pm (UTC)(link)
А нет нормального баланса. Это как при маниакально-депрессивном психозе: в маниакальной фазе используете максимум статической типизации, в депрессивной - мапы, и код с другой фазы выбешивает.

[identity profile] juan-gandhi.livejournal.com 2013-12-02 03:54 pm (UTC)(link)
Он как-то упустил момент, а что он будет использовать вместо скалы. Судя по тому, что на на Thoughtwork работает - джаву, наверное. Good luck.

Мапы ещё хорошо бы иерархические, с переименованием, с синонимами, с ну и т.д.

[identity profile] clayrat.livejournal.com 2013-12-02 04:06 pm (UTC)(link)
Бенжамин Пирс (который TAPL написал) предлагал contracts пару лет назад
не знаю, что там из этой затеи вышло
ext_646638: (Default)

[identity profile] rdia.livejournal.com 2013-12-03 02:56 am (UTC)(link)
> Язык с нормальным балансом статических проверок типов и динамической типизации вида "нахрен объекты, используем мапы" наверно, еще не скоро появится.

А язык с полным, а не кастрированным, глобальным выводом типов не подойдёт?

[identity profile] stas binko (from livejournal.com) 2013-12-03 06:33 pm (UTC)(link)
Вы core.typed не смотрели на этот счет? Как впечатления если да?