Заскучал и набыдлокодил бота для комнат XMPP: https://github.com/l29ah/smacbot Умеет призывать к совместным игрищам и дёргать LLM для более эээ машинно-интеллектуальных развлечений посредством llama-server.

data These a b = This a | That b | These a b

В догонку к #TNZ3P0. Видимо поведение .ghci в cabal repl обусловлено тем, что его тестировали только на :set prompt "λ> ". Оно работает.

Пытаюсь создать при помощи .ghci окружение для использования конкретного пакета в интерактивном режиме. Но cabal repl почему-то грузит .ghci до, а не после компиляции модулей пакета, что безусловно очень удобно. Хорошо. Создаю более другой пакет. В нём линкуюсь со своим пакетом и в .ghci использую его модули. Код выполняется, но символы которые определяются в .ghci в repl'е не видны. Окей. cabal exec -- ghci -package myshit. Теперь наконец работает всё! Если в пути к локальной packagedb нет юникода. Дальше попытка использовать сандбокс от cabal без помощи cabal, но я уже заебался.

-XStrict - лучшее расширение ghc! Не забывайте включать во всех своих проектах!

Запускаем долгое вычисление в ghci, жмём ctrl+c, вычисление валится с user interrupt exception. Пишем ей долгий обработчик user interrupt exception, жмём ctrl+c, проваливаемся в хэндлер, жмём ctrl+c и проваливаемся в бездну. Хэндлер по ctrl+c не валится. Окей. Маскирование? Переписываем всё с catch на try. Теперь обработчик ctrl+c точно размаскирован, точно находится в том же треде. Но ctrl+c не ловит.

Для нужды логирования собираю ThreadId отправителя. ThreadId умеет в Show в виде ThreadId и номер треда, что выглядит как говно. Преобразования ThreadId к числовому типу нету. Окей. Лезу в скрытое определение ThreadId. ThraedId это обёртка вокруг СПЕЦИАЛЬНОГО unboxed типа ThreadId# и для его преобразований в число используют специальные приватные функции из недр GHC. Окей, read . drop 9 . show, сука. Статик тайпед май эсс.

https://github.com/rust-lang/rust/issues/101728 Почему хаскелисты могут въебать сигнатуру где хотят (или вообще не въёбывать чтобы компилятор вывел всё сам), а у раста всегда с этим какие-то сложности? Вон, уже дошло до выпиливания однозначно полезных фичей из языка.

-- This smart constructor allows sharing of the two most common -- cases. See #19194 mkIfaceTyConInfo :: PromotionFlag -> IfaceTyConSort -> IfaceTyConInfo mkIfaceTyConInfo IsPromoted IfaceNormalTyCon = IfaceTyConInfo IsPromoted IfaceNormalTyCon mkIfaceTyConInfo NotPromoted IfaceNormalTyCon = IfaceTyConInfo NotPromoted IfaceNormalTyCon mkIfaceTyConInfo prom sort = IfaceTyConInfo prom sort

Хочу корутины. Суть такова: нужен трансформер, который позволит добавить к логике в виде последовательности действий добавить точки передачи управления вызывающей стороне с передачей туда информации о прогрессе или типа того. В принципе эта херня подойдёт https://hackage.haskell.org/package/monad-coroutine, но возможно есть что-то более общеупотребимое.

Разобрался с haskell-language-server. Разумеется ему для полного счастья нехватало специального файла описывающего проект (hie.yaml). Если зачем он нужен в принципе понять можно, то вот зачем он необходим с учётом того что весь этот цирк умеет сам находить корень довольно заковыристых проектов и есть тулза генерирующая это самое описание на основании информации для сборки проекта понять уже трудно. Также это не позволяет использовать hls вместе со standalone файлами (тот же clangd прекрасно подсасывает стандартную библиотеку в этой ситуации) и ghci-скриптами. Беда.

Как попросить ghci нормализовать сигнатуру, в которой присутствуют типо-синонимы и типо-семейства?

Есть у меня два гетеросписка: один мужественный на GADT'ах с Nil'ом и вот этим вот всем, а второй гейский вида data Cons a b = Cons a b. Как бы мне их терминалогически различать?

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

Ёб твою мать. Я продал программу на хаскеле.

У меня такое ощущение что в ubuntu проект собранный при помощи cabal new-install собрался без поддержки -threaded. Что нажать чтобы исправить? А то у меня сервант ставит опердень раком.

А :quit из ghci-скрипта не работает из каких-то разумных соображений или просто из ненависти ко мне?

https://thenewstack.io/which-programming-languages-use-the-least-electricity/ хаскель неэкологичен и, следовательно, нерационален

В программе space leak, но как искать его непонятно: ghc'шный профайлинг говорит, что всё занимается PINNED-памятью (поскольку я оперирую в основном ByteString'ами), и никаких подробностей о том, где она выделена, и что её держит, не говорит -- https://gitlab.haskell.org/ghc/ghc/-/issues/7275 Как обычно в таких случаях, алгоритм по-хорошему должен в константной памяти работать, но вместо этого память жрётся и жрётся в ходе работы программы, освобождаясь только в конце. https://github.com/l29ah/hyborg/blob/master/Main.hs#L115 Есть ли варианты лучше, чем бинарный поиск по коду методом комментирования? Кажется, в случае хаскеля это вообще так себе метод поиска утечек, поскольку в случае когда мы комментируем какого-нибудь потребителя данных, мы можем ненароком внести ещё один space leak, например когда большой thunk вычисляется по ходу итеративного алгоритма в компактный результат, либо это вычисление откладывается до самого конца, накапливая большие thunk'и в памяти.

https://github.com/ndmitchell/record-dot-preprocessor вменяемый синтаксис для рекордов в хаскеле, дружит с DuplicateRecordFields.