← All posts tagged Haskell

ndtimofeev
Haskell Есть ресурс, который аллоцируется вместе с созданием региона (того что у Олега RegionT s pr a). Есть два типа аллокации (для мастера и для всех остальных) и две разновидности функций (для мастера и для всех остальных). Раньше разделение функций работало через специальный дополнительный параметр в регионе: безопасные функции были по нему полиморфны, а опасные нет. Теперь я хочу регионы как у Олега и думаю куда засунуть тег: можно нагородить трансформеров, можно манипулировать с s (что-то вроде RegionT (Impure s) pr a). Первый вариант меня расстраивает, а со вторым я ожидаю какого-то неочевидного отстрела ноги.
ndtimofeev
Haskell Несколько лет назад я придумал управлять состояниями удаленных устройств через волшебные переменные, которые вместо обращения к памяти дергали api устройства. Попользовавшись этим лет пять я понял, что мне нужны разные типы входного и выходного значения, переписал сигнатуру и увидел что-то отдаленно похожее на ConduitT. К чему я это? Какие остались другие живые библиотеки для управления потоками на Haskell?
ndtimofeev
хуюдущее Haskell Пытаюсь создать при помощи .ghci окружение для использования конкретного пакета в интерактивном режиме. Но cabal repl почему-то грузит .ghci до, а не после компиляции модулей пакета, что безусловно очень удобно.
Хорошо. Создаю более другой пакет. В нём линкуюсь со своим пакетом и в .ghci использую его модули. Код выполняется, но символы которые определяются в .ghci в repl'е не видны.
Окей. cabal exec — ghci -package myshit. Теперь наконец работает всё! Если в пути к локальной packagedb нет юникода.
Дальше попытка использовать сандбокс от cabal без помощи cabal, но я уже заебался.
ndtimofeev
ghci Haskell Запускаем долгое вычисление в ghci, жмём ctrl+c, вычисление валится с user interrupt exception. Пишем ей долгий обработчик user interrupt exception, жмём ctrl+c, проваливаемся в хэндлер, жмём ctrl+c и проваливаемся в бездну. Хэндлер по ctrl+c не валится. Окей. Маскирование? Переписываем всё с catch на try. Теперь обработчик ctrl+c точно размаскирован, точно находится в том же треде. Но ctrl+c не ловит.
ndtimofeev
Haskell Для нужды логирования собираю ThreadId отправителя. ThreadId умеет в Show в виде ThreadId и номер треда, что выглядит как говно. Преобразования ThreadId к числовому типу нету. Окей. Лезу в скрытое определение ThreadId. ThraedId это обёртка вокруг СПЕЦИАЛЬНОГО unboxed типа ThreadId# и для его преобразований в число используют специальные приватные функции из недр GHC. Окей, read . drop 9 . show, сука. Статик тайпед май эсс.
ndtimofeev
Haskell А есть какая-нибудь библиотека комбинаторов для генерации случайных значений вроде Gen из QuickCheck только без QuickCheck'а?
ndtimofeev
Haskell Хочу корутины. Суть такова: нужен трансформер, который позволит добавить к логике в виде последовательности действий добавить точки передачи управления вызывающей стороне с передачей туда информации о прогрессе или типа того. В принципе эта херня подойдёт hackage.haskell.org но возможно есть что-то более общеупотребимое.
ndtimofeev
lsp Haskell Разобрался с haskell-language-server. Разумеется ему для полного счастья нехватало специального файла описывающего проект (hie.yaml). Если зачем он нужен в принципе понять можно, то вот зачем он необходим с учётом того что весь этот цирк умеет сам находить корень довольно заковыристых проектов и есть тулза генерирующая это самое описание на основании информации для сборки проекта понять уже трудно. Также это не позволяет использовать hls вместе со standalone файлами (тот же clangd прекрасно подсасывает стандартную библиотеку в этой ситуации) и ghci-скриптами. Беда.
ndtimofeev
специальная_олимпиада Haskell Есть у нас строка. Приблизительно такая STIEEQAKTFLDKFNHEAEDLFYQSSLASWNYNTNITEENVQNMNNAGDKWSAFLKEQSTLAQMYPLQEI. Нам нужно сформировать список всех уникальных подстрок этой строки. Ну то есть nub . subsequences, но так чтобы на ноутбуке с 16 гигабайтами памяти завершалось хотя бы за минуту. Считать строку массивом байтов — нельзя.
ndtimofeev
Haskell Есть у меня два гетеросписка: один мужественный на GADT'ах с Nil'ом и вот этим вот всем, а второй гейский вида data Cons a b = Cons a b. Как бы мне их терминалогически различать?
ndtimofeev
Haskell Допустим у нас есть библиотека реализующая некоторые статистические инварианты (например библиотека регионов). Допустим я хочу написать тест, который покажет мне что они всё ещё выполняются в соответствии с исходной идеей. Проблема в том, что результатом тестирования должна быть ошибка компиляции. Есть какие-то хорошие решения для прокручивания этого к cabal'у?
ndtimofeev
ghc Haskell У меня такое ощущение что в ubuntu проект собранный при помощи cabal new-install собрался без поддержки -threaded. Что нажать чтобы исправить? А то у меня сервант ставит опердень раком.
ndtimofeev
Haskell У меня есть преобразование вида forall a. Applicative f => g a -> f (h a). Математики не придумали название для чего-то похожего?