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

[metaclass]

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 с рефлекшенами и кодогенерацией в рантайме - это то же самое, только медленно и уныло.

Comments

[b00ter.livejournal.com]

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

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

[juan-gandhi.livejournal.com]

Хорошая тема.

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

[orleanz.livejournal.com]

Что такое опердень, умоляю, просветите. И где ударение в этом слове.

[francis-drake.livejournal.com]

» If you need compile-time code generation, you’re basically saying that either your language or your application design has failed you.

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

[max630.livejournal.com]

> бойлерплейт по перекладыванию между полями разных объектов и БД

известно как - derived Generics и дальше как в питоне. Якобы при правильном подходе должно соптимизироваться в компиле-тайм. Якобы можно упороться многопараметрическими классами с проксями и получить какое-то подобие типизации. Но мне всё-таки кажется тут тот случай когда лекарство хуже болезни.

[vit-r.livejournal.com]

У меня подозрение, что люди, программирующие на Хаскеле, пишут очень хреновые комментарии и создают извращённый дизайн. Потому у них Хаскель и идёт лучше других технологий.

[binf.livejournal.com]

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

[tonsky.livejournal.com]

Внезапно в тему http://prog21.dadgum.com/216.html

[love5an.livejournal.com]

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

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

[love5an.livejournal.com]

Clojure-коммьюнити туда же, на самом деле.

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

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

[love5an.livejournal.com]

Во! Покажите мне хотя бы по одному стоящему решению следующих очень практических проблем на хаскеле:
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-парсеры.

[thesz.livejournal.com]

1) Он странно использует записи. Зачем всё-то забирать?

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

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

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