metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2016-02-21 03:42 pm

Статья про хаскель в проде, где все правильно написано

http://www.stephendiehl.com/posts/production.html

Про типичную опердень и как она умучает рантайм хаскеля:

A common performance problem is that of many small updates updates to records with large numbers of fields. Records of hundreds of fields are somewhat pathological but in practice they show up in a lot of business logic that needs to interact with large database rows. Too much of this can very noticeable impact on GC pressure by doing allocations on each update.

По ходу, рекорды у них лежат плоскими в памяти и каждый раз при апдейте их надо клонировать. Наверно, заменить их на мапы и прочие словари с деревом в кишках реализации будет проще, не говоря уже о невменяемости рекордов в хаскеле в целом.

И про метапрограммирование: Avoid TemplateHaskell. Half the appeal of Haskell is that its high-level design allows you to avoid huge amounts of useless boilerplate code that you have to write in other languages. If you need compile-time code generation, you’re basically saying that either your language or your application design has failed you.

Как без метапрограммирования нормально делать опердени, где 99% кода - это бойлерплейт по перекладыванию между полями разных объектов и БД - хрен его знает.
Всякие ORM с рефлекшенами и кодогенерацией в рантайме - это то же самое, только медленно и уныло.

[identity profile] b00ter.livejournal.com 2016-02-21 01:42 pm (UTC)(link)
> Как без метапрограммирования нормально делать опердени, где 99% кода - это бойлерплейт по перекладыванию между полями разных объектов и БД - хрен его знает.

Как-как... Берешь бюжет проекта и начинаешь его разбавлять "программистами на языке ...".
Дико - да, легаси - да, но зато теперь индустрийке нужно больше Java- и Cobol-кодеров. Нормально все.

[identity profile] juan-gandhi.livejournal.com 2016-02-21 01:43 pm (UTC)(link)
Хорошая тема.

Может быть, Денис тут прав, и в такой ситуации нужен ИИ, а не ФП.

[identity profile] orleanz.livejournal.com 2016-02-21 01:47 pm (UTC)(link)
Что такое опердень, умоляю, просветите. И где ударение в этом слове.

[identity profile] metaclass.livejournal.com 2016-02-21 02:03 pm (UTC)(link)
На втором слоге, сокращенно от "операционный день".
Условное обозначение любого унылого db-centric софта для бухгалтерии, банков, складского учета, документооборота и всего прочего сводящегося на 99% к формочкам и CRUD и 1% 4 действий арифметики, применяемых к миллиардам записей.

[identity profile] francis-drake.livejournal.com 2016-02-21 02:09 pm (UTC)(link)
» If you need compile-time code generation, you’re basically saying that either your language or your application design has failed you.

В тред призывается лавсан.

[identity profile] max630.livejournal.com 2016-02-21 03:27 pm (UTC)(link)
> бойлерплейт по перекладыванию между полями разных объектов и БД

известно как - derived Generics и дальше как в питоне. Якобы при правильном подходе должно соптимизироваться в компиле-тайм. Якобы можно упороться многопараметрическими классами с проксями и получить какое-то подобие типизации. Но мне всё-таки кажется тут тот случай когда лекарство хуже болезни.
Edited 2016-02-21 15:30 (UTC)

[identity profile] vit-r.livejournal.com 2016-02-21 06:20 pm (UTC)(link)
У меня подозрение, что люди, программирующие на Хаскеле, пишут очень хреновые комментарии и создают извращённый дизайн. Потому у них Хаскель и идёт лучше других технологий.

[identity profile] 4ghsg.livejournal.com 2016-02-21 07:16 pm (UTC)(link)
метакласс, почему ты отстал от своих единомышлеников? уже за неделю второй случай выпиливания собственных семей, с последующим суицидом. все ждут, когда прийдет твоя очередь.

[identity profile] thedeemon.livejournal.com 2016-02-22 07:00 am (UTC)(link)
На третьем же.

[identity profile] binf.livejournal.com 2016-02-22 12:50 pm (UTC)(link)
заменить на мапы с атомами-ключами - это именно то, что нужно. Я щас на кложу переезжаю, там такой подход приветствуется. И макросы в разы проще писать и дебажить, чем в статических языках. Я буквально чувствую, как становится легче дышать
Edited 2016-02-22 16:14 (UTC)

[identity profile] metaclass.livejournal.com 2016-02-22 07:43 pm (UTC)(link)
Да-да, мапы спасают нереально, фактически для оперденей (а особенно генераторов отчетов) использовать статик типы бесполезно и даже вредно.

[identity profile] tonsky.livejournal.com 2016-02-22 09:14 pm (UTC)(link)
Внезапно в тему http://prog21.dadgum.com/216.html

[identity profile] love5an.livejournal.com 2016-02-23 06:20 am (UTC)(link)
Да я всю сознательную жизнь говорю, что хаскель и иже с ними, это извращение для шизофреников, которые и опердени то не писали.

Покажите хоть одну опердень на хаскеле! Нет ведь. Одни сраные хелловорлды, с заострением внимания на какой-то бесполезной малозначимой хероте(типа, смотрите как у нас круто фунцыю map писать!). Ни одной практической проблемы, ни одного практического решения, за все время наблюдени за хаскель-коммьюнити я не увидел. Самое близкое, что видел, это, что даже не смешно - GLR-парсеры. GLR-парсеры, Карл. Блеать.

[identity profile] love5an.livejournal.com 2016-02-23 06:21 am (UTC)(link)
Clojure-коммьюнити туда же, на самом деле.

Они меня местами дичайше бесят. Как-то пришел на fprog-митап, а там три сраных хипстера подряд рассказывали как пиздато на Clojure писать генераторы статических сайтов.

Генераторы, блядь, статических, блядь, сайтов, блядь. Эталонное хипстерское никому не нужное говно.

[identity profile] love5an.livejournal.com 2016-02-23 06:34 am (UTC)(link)
Во! Покажите мне хотя бы по одному стоящему решению следующих очень практических проблем на хаскеле:
1) Загрузка/Сохранение картинок разных форматов, и их обработка(ресайзы итоде)
2) Загрузка экселек, как старого формата, так и openxml, и не только данных, а и информации по стилям ячеек.
3) Выгрузка в PDF/Эксель(в том числе всяких отчОтов, см пункт 4)
3) DSL для работы с БД, с кучей рекордов с кучей полей. Чтоб было близко к sql но в то же время в терминах языка(типа C# LINQ to Entities, etc). Генерация модели из DSL.
4) Нормальный пиздатый MVC-веб-фреймворк, с поддержкой автоматической сериализации с JSON и прочие говна, с поддержкой аутентификации по кукисам/OAuth/whatever
5) Пиздатый UI фреймворк для десктопа с декларативным описанием UI, стилей и прочей еботни
6) Работа с email и sms
7) Очереди сообщений, подключение к AMQP
8) Модульность, конфигурируемая из конфигов и в рантайме, IoC
9) Виндовые приблуды типа named пайпов

Нету! Нихуя нету. И не будет! Потому что ебучие хаскелисты все шизики и задрачивают монадные хелловорлды или в лучшем случае GLR-парсеры.

[identity profile] anonim-legion.livejournal.com 2016-02-23 06:55 am (UTC)(link)
Вот вас пробило-то.

[identity profile] vinslivins.livejournal.com 2016-02-23 08:10 am (UTC)(link)
http://pandoc.org



(не то что б это что-то доказывает)

[identity profile] binf.livejournal.com 2016-02-23 01:55 pm (UTC)(link)
да, наглядно. я для себя определил единственный приемлемый подход статических языках в виде Map[Key,ValueCase] , где Key прописывает поюзанные атомы, а ValueCase содержит все возможные варианты для простых типов (int, string ...) Это то ещё блядство конечно

ps. ёбаный жж факапит мой камент!
Edited 2016-02-23 13:58 (UTC)

[identity profile] tonsky.livejournal.com 2016-02-23 02:56 pm (UTC)(link)
Ну они может от писанины спасают. Но например если в мапе меньше 32 ключей она будет столько же мусора создавать как и рекорд, а то и больше. Или мы о каком количестве говорим примерно?

[identity profile] binf.livejournal.com 2016-02-23 07:06 pm (UTC)(link)
Вообще-то может достигать сотен. Но там фишка не в количестве полей. Мапы нужны чтобы в одном месте задекларировать домен, а потом в идеале из него получать автоматом sql-запросы и весь crud. Из рекордов это не реально сделать

[identity profile] metaclass.livejournal.com 2016-02-23 07:38 pm (UTC)(link)
Мусор хрен с ним, с большего. Мапы удобнее тем, что их объявлять заранее не надо и через них любые дополнительные данные протащить сводится к "добавил там где мап создавался, прочитал там где мап используется".

[identity profile] thesz.livejournal.com 2016-02-26 02:24 pm (UTC)(link)
1) Он странно использует записи. Зачем всё-то забирать?

2) Запись не плоская. Запись это, буквально, массив указателей. Для 100 полей - да. 100 указателей надо скопировать. Вроде бы, наивное поведение было бы столько раз копировать, сколько раз обновляем поля (по одному). Но это, обычно, упрощается - выделили один раз, перенесли 84 указателя, 16 заполнили новыми значениями.

Строгие (!Q) поля не указатели, если они хранят данные размером до указателя.

3) Сейчас в Хаскель вносят зависимые типы, практически. Поэтому не TH, а типы. Для типов есть методика устранения ненужных доказательств (если ты нигде не используешь параметр "длина" вектора, то он будет убран из кода вообще).

[identity profile] thesz.livejournal.com 2016-02-26 02:27 pm (UTC)(link)
Netflix, что ли, создавал статические странички с рекомендациями для пользователей. Один раз посчитали, и далее отдаётся статическое содержимое. Иногда пересчитываем, но редко.

Статические сайты рулят.

[identity profile] thesz.livejournal.com 2016-02-26 02:28 pm (UTC)(link)
Сюда надо позвать [livejournal.com profile] dmzlj и [livejournal.com profile] zelych.

[identity profile] thesz.livejournal.com 2016-02-26 02:37 pm (UTC)(link)
А!

И ещё привести пример Amgen: https://ifl2014.github.io/submissions/ifl2014_submission_16.pdf

"The success or failure in the industry of a programming language within a particular problem domain is often predicated upon the availability of a sufficiently plethoric set of good quality libraries relevant to the domain. Libraries enable code reuse, which ultimately leads to shorter development cycles. Yet business and regulatory constraints may impose orthogonal requirements that not allprogramming languages are able to satisfy.

Case in point: at Amgen, we operate within a stringent regulatory environment that requires us to establish high confidence as to the correctness of the software that we create. In life sciences, it is crucial that we aggressively minimize the risk that any bug in our code, which could lead to numerical, logical or modelling errors with tragic consequences, goes undetected."

А вот причина, по которой Amgen вообще связался с Хаскелем: http://thesz.livejournal.com/1432089.html Треть медицинских исследований содержит ошибки в логике обработки результатов. Наличие типов позволяет запретить сравнивать p-значения, например. Или получать p-значение для результата сравнения.

Page 1 of 3