Alex

господамы, какие есть лаконичные и красивые способы писать вложенные fold-ы? говоря по-попростому, чтобы код не уезжал вправо или чтобы не нужно было писать по отдельной функ...

где взять (как собрать) stack для aarch64? (rpi4) 1. установка через "curl -sSL https://get.haskellstack.org/ | sh" пишет: Sorry, currently only 64-bit (x86_64) Linux binary ...

вопрос по Parsec: можно ли как-то ограничить ввод (на заранее известное число, например 5 символов) при вызове вложенного парсера? Т.е. так, чтобы он "думал", что для него вво...

вопрос про haskell-language-server: в каком месте (файл, cmdline arg) можно определить значение для "haskell.formattingProvider"? (у меня Atom, хочу использовать "stylish-hask...

что можно почитать о способах по перегонке инвариантов из гардов в типы?

как можно вынести функцию из модуля в другой с сохранением оптимизаций производительности? (в частности, по heap) Наблюдаю существенное повышение аллокаций в хипе (428MB -> 1...

как настроить vscode на работу с hls, запущенным (ssh/screen -R) на удалённой машине? Хочется иметь возможность работать с локальной копией Haskell/nixpkgs проекта в vscode, ...

есть ли какой-то цивилизованный способ убрать "PrimMonad/PrimState/G.MVector" шум из сигнатур функций? (например, завести какой-то constraint alias для этой тройки) import qu...

какие есть (в меру) цивилизованные способы подсчёта прохождений участков (вызовов) в pure коде с минимальным изменением исходника? (ST не катит, т.к. сильно зашумляет код) Т.е...

можно ли как-то ускорить вычисление пачки Data.Set-ов набитых в List? есть ли какие-то подходы/либы для векториазации таких вычислений?

есть ли в Хаскеле примеры вот такой штуки? (насколько это возможно) https://medium.com/carwow-product-engineering/phantom-builder-pattern-in-elm-2fcb950a4e36

вопрос по теме: BlockArguments улучшает или ухудшает читаемость кода? Другими словами: в случае когда вы видите чей-то код, не свой, использующий BlockArguments, насколько выш...

господамы, использующие Nix какое-то время (неделю, месяц, год), к вам вопрос: проходит ли со временем ощущение перегруженности и шарахнутости конфигов, или боль, непонимание ...

вот, упрощеённый пример: data XY = XY Int Int data Line = Line XY XY Как бы вы, например, гарантировали типом, что? ... f (Line a@(XYZ ax ay) b@(XYZ bx by)) | bx > ax ||...

как можно автоматом отдерайвить Data.Vector.Unboxed.Mutable.Unbox для подобного типа? data ABCD = A | B | C | D deriving Show

вопрос по TypeFamilies: как починить ошибку NB: ‘M’ is a non-injective type family при вызове type family? https://gist.github.com/oshyshko/92c1687de65d26d79c310f67ef79963d

любопытно, что мотивировало авторов Aeson сериализировать IntMap в список списков (пар) вместо объекта? import Data.Aeson import qualified Data.IntMap.Strict as MI ...

вопрос про VS Code: есть ли возможность запустить REPL и подключиться к нему из IDE? (чтобы можно было выделять куски кода и отправлаять в репл без потери фокуса окна редактор...

кстати, а почему trace тогда не кеширует значение?

1. как можно уменьшить размер executable? (штатным тулкитом Haskell/Stack/cabal/llvm/ld etc., без UPX; -O2 включен) 2. как можно посмотреть, какие модули и либы (deps) сколько...