Где мои юникодные инфиксные конструкторы? Когда я уже смогу сделать data a × b = a × b?

https://docs.google.com/presentation/d/1ggTVXzqCxcmkV5mKUH_gtl0ADUMvSMmhZlWfx_w7-wU/edit#slide=id.p — всё так

https://github.com/bgamari/ghc-proposals/blob/deprecate-stm-invariants/proposals/0000-deprecate-stm-invariants.rst — тут из STM пытаются выпилить always, а я ещё не выяснил зачем он там был нужен.

Ну и коль скоро сегодня меня волнуют только извращения: можно ли из STM транзакции сделать atomicModifyIORef и расчитывать что его в самый неподходящий момент не прибьёт retry?

http://hackage.haskell.org/package/fixed-list-0.1.6/docs/Data-FixedList.html — обартите внимание на инстанс в Monad: это вообще практически осмысленно или просто очень хотелось чтобы Monad?

Есть набор общих ресурсов и есть ряд независимых задач состоящих из множества подзадач использующих эти ресурсы. В первом приближении задачи лишены ветвления и не имеют требований по гарантированным срокам исполнения (не знаю как называется это условие). В реальности всё строго наоборот, но пока закроем на неё глаза. Задачи хотелось бы выполнять по возможности максимально параллельно (я являюсь мясным гарантом того что они вообще неплохо параллелятся, поскольку состоят примерно из одних и тех же тасков чуть менее чем совсем и ресурсы в целом позволяют), при этом генерация общей программы должна происходить по возможности пошагово (поскольку пользователь может придти, остановить процесс и откорректировать отдельную задачу). Вопрос состоит в том чего бы мне про это почитать и где бы посмотреть как кто-то что-то такое уже делал. А то я химик, а не компьютерный учёный и даже не сантехник.

При компиляции проекта с помощью cabal build на отдельном файле ghc виснет и постепенно подъедает всю системную память пока не встретит свой OOM. При использовании cabal repl всё отрабатывает нормально. Сотен конструкторов и километров паттернов в проблемном исходнике не обнаружено. И времени чтобы колупаться в том на чём наелся компилятор тоже нет. День обещает быть восхитительным. ghc-8.0.2 на linux если что.

http://hackage.haskell.org/package/pretty-show-1.6.12/docs/Text-Show-Pretty.html — Смеяться после слова лопата^W^Wизучения того как работает pPrint.

Теперь это биоинформатики тред. У меня есть список строк. Как не пребегая к высшей нервной деятельности, максимально haskell-гольфом посчитать число общих вхождений каждого символа в эти строки.

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

На провах малоинтеллектуального онанизма. Есть тип-произведение T a, который Functor, Foldable, Traversable и вообще по сути узкоспециализированный список фиксированной длинны. Также у меня есть значение типа T (Parser Token), которое представляет из себя этот самый список набитый абсолютно одинаковыми значениями монадических парсеров. При помощи sequence я превращаю это значение в парсер типа Parser (T Token) и радуюсь. Теперь положим, что моя грамматика малость изменилась и кто-то расставил разделители между токенами (то есть разделителей на один меньше чем токенов). Могу я при помощи Foldable/Traversable и исходного значения T (Parser Token) построить корректный парсер Parser (T Token) для новой грамматики?

https://haskell-foundation.github.io/ — Ох уж мне этот современный веб-дизайн. Из сайта совершенно неочевидно, но это как бы более другая стандартная библиотека для хаскеля.

Есть меня у ветвление на типах вида mkIf :: Proxy t -> a -> b -> If t a b (реализовано классом). И всё бы хорошо, но при таком подходе все констрейнты a и b просачиваются в итоговую функцию, что особенно занятно, когда они примерно противоположны.

Это нормально, что демон висящий в фоне нажрал терабайт виртуальной памяти?

> filter (/= ".") . groupBy (\a b -> '.' /= a && '.' /= b) Трава не наркотик.

Есть у меня хранилище которое содержит кусок данных. Суть в том, что треды могут почитать эти данные или модифицировать эти данные. Считается что если данные изменились то это гарантировано навсегда^W^Wзаписано в лог и в случае перезапуска системы всё будет восстановлено. Также читатели не получают доступа к изменённой версии данных до тех пор пока изменения не будут зафиксированы в логе (чтобы не напринимать решений на основании событий, которые потом нельзя будет восстановить). Вопрос в том давать ли возможность читать старую версию структуры пока идёт запись транзакции в лог или притормаживать читателей до тех пор пока она не обновиться.

Есть хоть одна причина по которой произведения типов в Generic представляют собой что-то вроде сбалансированного дерева, а не что-то вроде списка? Ну кроме как ненависть непосредственно ко мне?

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

> https://www.reddit.com/r/haskell/comments/4msraq/onsite_ghcrelated_haskellc_opportunity_at/ Где там мой @l29ah?