![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclasshttp://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 с рефлекшенами и кодогенерацией в рантайме - это то же самое, только медленно и уныло.
Про типичную опердень и как она умучает рантайм хаскеля:
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]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2016-02-21 01:42 pm (UTC)Как-как... Берешь бюжет проекта и начинаешь его разбавлять "программистами на языке ...".
Дико - да, легаси - да, но зато теперь индустрийке нужно больше Java- и Cobol-кодеров. Нормально все.
no subject
Date: 2016-02-21 01:43 pm (UTC)Может быть, Денис тут прав, и в такой ситуации нужен ИИ, а не ФП.
no subject
Date: 2016-02-21 01:47 pm (UTC)no subject
Date: 2016-02-21 02:03 pm (UTC)Условное обозначение любого унылого db-centric софта для бухгалтерии, банков, складского учета, документооборота и всего прочего сводящегося на 99% к формочкам и CRUD и 1% 4 действий арифметики, применяемых к миллиардам записей.
(no subject)
From:(no subject)
From:no subject
Date: 2016-02-21 02:09 pm (UTC)В тред призывается лавсан.
no subject
Date: 2016-02-21 03:27 pm (UTC)известно как - derived Generics и дальше как в питоне. Якобы при правильном подходе должно соптимизироваться в компиле-тайм. Якобы можно упороться многопараметрическими классами с проксями и получить какое-то подобие типизации. Но мне всё-таки кажется тут тот случай когда лекарство хуже болезни.
no subject
Date: 2016-02-21 06:20 pm (UTC)no subject
Date: 2016-02-26 07:52 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2016-02-22 12:50 pm (UTC)no subject
Date: 2016-02-22 07:43 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2016-02-22 09:14 pm (UTC)no subject
Date: 2016-02-23 01:55 pm (UTC)ps. ёбаный жж факапит мой камент!
no subject
Date: 2016-02-23 06:20 am (UTC)Покажите хоть одну опердень на хаскеле! Нет ведь. Одни сраные хелловорлды, с заострением внимания на какой-то бесполезной малозначимой хероте(типа, смотрите как у нас круто фунцыю map писать!). Ни одной практической проблемы, ни одного практического решения, за все время наблюдени за хаскель-коммьюнити я не увидел. Самое близкое, что видел, это, что даже не смешно - GLR-парсеры. GLR-парсеры, Карл. Блеать.
no subject
Date: 2016-02-26 02:28 pm (UTC)no subject
Date: 2016-02-26 02:37 pm (UTC)И ещё привести пример 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-значение для результата сравнения.
no subject
Date: 2016-02-26 06:39 pm (UTC)no subject
Date: 2016-02-23 06:21 am (UTC)Они меня местами дичайше бесят. Как-то пришел на fprog-митап, а там три сраных хипстера подряд рассказывали как пиздато на Clojure писать генераторы статических сайтов.
Генераторы, блядь, статических, блядь, сайтов, блядь. Эталонное хипстерское никому не нужное говно.
no subject
Date: 2016-02-26 02:27 pm (UTC)Статические сайты рулят.
no subject
Date: 2016-02-23 06:34 am (UTC)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-парсеры.
no subject
Date: 2016-02-23 06:55 am (UTC)no subject
Date: 2016-02-23 08:10 am (UTC)(не то что б это что-то доказывает)
no subject
Date: 2016-02-26 06:44 pm (UTC)no subject
Date: 2016-02-26 02:24 pm (UTC)2) Запись не плоская. Запись это, буквально, массив указателей. Для 100 полей - да. 100 указателей надо скопировать. Вроде бы, наивное поведение было бы столько раз копировать, сколько раз обновляем поля (по одному). Но это, обычно, упрощается - выделили один раз, перенесли 84 указателя, 16 заполнили новыми значениями.
Строгие (!Q) поля не указатели, если они хранят данные размером до указателя.
3) Сейчас в Хаскель вносят зависимые типы, практически. Поэтому не TH, а типы. Для типов есть методика устранения ненужных доказательств (если ты нигде не используешь параметр "длина" вектора, то он будет убран из кода вообще).
no subject
Date: 2016-02-26 06:41 pm (UTC)no subject
Date: 2016-02-26 07:57 pm (UTC)TH все еще нужен, т.к. он выразительнее, чем Generic даже в sop варианте. Другое дело, что TH код сложнее писать, однако в большинстве случаев TH надо применять, готовый, а не писать самому. Имхо бояться его не надо, если есть возможость обойтись, то обходиться, нету - ничего страшного.
Вообще статья достаточно странная, не хацкелистам крайне не рекомендуется.