Гриша Герасев

Скажите какие есть способы искать передержку для кошки (на пару дней) за границей? Словосочетанием "pet hotel" обычно называют места где животных в клетки сажают, а я хочу ис...

Вопрос. So far ни в одной стране назначения наш нас не спрашивали документы на кошку. Сейчас задумался о поездке в Малайзию, где для кошек карантин, уж очень понравился Куала-...

Вопрос. Происходит странное. Не делаю инстанс - говорит не могу найти инстанс. Делаю - находит сразу три. Как это? Вот ошибка с тремя: • Overlapping instances for Submap ...

Есть ли способ создать закодировать тотальный Map по енаму? Хочу им заменять рекорды с бойлерплейтными полями. UPD: оно еще и с зависимыми типами значений. Есть пакет depende...

Вижу пару либ для Checked exceptions вокруг IO: https://hackage.haskell.org/package/control-monad-exception-0.11.4/docs/Control-Monad-Exception-IO.html https://hackage.haskel...

Не порекомендуете книжку о настоящей теории категорий, то есть универсальным стрелкам, сопряжениям, представимости и т.п.? В Algebra of Programming понятные примеры, но мало р...

Еще вопрос: Есть какие-то общепринятые библиотеки для определения (для QuickCheck) законов тайпклассов и смарт-конструкторов? Для первого вижу вроде много вариантов, неясно к...

❯ sudo du -x -h -t 1G / 1.8G /home/gregor/.stack/programs/x86_64-linux/ghc-tinfo6-8.10.7/lib/ghc-8.10.7 ... 1.8G /home/gregor/.ghcup/ghc/8.10.7/lib/ghc-8.10.7 ... 2.0G /hom...

Кто нибудь знает, можно ли делать пересадку (меньше суток) в Индии, без их упоротых требований по вьездным грамотам?

Еще читаю апи синглтонов и возник вопрос. Чем инстанс SEnum X полезнее чем просто инстанс Enum (SomeSing X)? https://hackage.haskell.org/package/singletons-base-3.2/docs/Data...

Есть какое-то Generic или TH решение, что бы по datatype генерить datatype его конструкторов (ну и проектцию туда)? Казалось бы какая-то очень часто нужная вещь, но не вижу. ...

Вопрос о том, как работают сообщения о ошибках в типах. Делаю такую функцию: f :: String -> [Int] f = map (\x -> (read x) :: Int) Ошибка тут в read x нужно его поменять н...

А в каком месте нормально обьясняется, в чем проблема с не-алгебраическими эффектами? В частности почему с catch какие-то сложности. Я понял что вот есть алгебраические эффек...

Билжу свой LSP сервер, добавляю его в VS Code. Он при запуске жалуется. При этом если соответствующий cabal ... запустить - он нормально отрабатывает. В чем может быть дело? ...

Вопрос. Почему функция serve принимает Proxy a? У нее же Server a следующим параметром.

Алсо, нельзя ли через backpack как нибудь заменить if defined(mingw32_HOST_OS) и тому подобное? Ну типа модуль параметризуется версией компилятора и т.п. Вообще в теории (не ...

Рандомный вопрос: что посоветуйте для реализации простых CLI? Я взял optparse-applicative, как у брагилевского в книжке. Идея богатая, но реализация сильно разочаровала.

Еще связанный вопрос. Я правильно понимаю что stock deriving внутри юзает те же типы данных, что и Generic? Или они другим/AST работают?