Исходное сообщение
"Открыта часть серверного кода сервиса мгновенного обмена соо..." Отправлено 0xd34df00d, 10-Апр-17 04:05
> Обжорство при боксинге GHC спокойно распаковывает поля в одноконструкторных типах данных, особенно при доказываемой эквивалентности семантики (а то ленивость и это всё), особенно при соответствующих аннотациях. Опять же, при семантической эквивалентности это скорее вопрос качества реализации, а не языка самого по себе. > горы строковых типов. String, ByteString и Text? У каждого из них (включая ленивые и строгие варианты) своя задача и свои области (которые и пересекаются, конечно). Так-то я ожидал услышать, например, отсутствие η-эквивалентности в присутствии seq и undefined, что иногда приводит к некоторым забавным спецэффектам. Или, если говорить о качестве реализации, отсутствие адекватных профайлеров, унылые параметры GC по умолчанию и всякое такое. Ну да ладно.