Erin Igor

{-# LANGUAGE NoFieldSelectors #-} module QTree (QTree(..)) where data QTree a = Leaf { value :: a, size :: Int } | Node { nw :: QTree a, ne :: QTree a, sw :: QTree a...

Здравствуйте. Я сделал паттерн синоним, указал для него COMPLETE прагму, а при матчинге в байнде ghc ругается: No instance for ‘MonadFail (Either Info)’ arising from a do...

Здравствуйте. У меня следующая проблема. Есть тип Expr: data Expr = App Expr Expr | Lam Name Expr | Var Name Далее я написал простой тайпчекер: check ::...

Еще вопрос. В следующем коде насколько идиоматично присутствие case ... of? runArg :: State Ctx SomeValue -- more patterns runArg = do ... let x = Map.lookup key m ...

Тупой технический вопрос. import Test.Tasty.Golden (findByExtension) mtx = findByExtension [".mtx"] $ "test" </> "Reader" </> "Golden" мне дает странные пути: test/Reader/Gold...

Здравствуйте. Читаю аргументы с помощью либы, делаю что-то, а потом запускаю бенчмарки с criterion. Но получается так, что критерион видит аргументы моего приложения, которые ...

Под рексхемами Вы имеете ввиду схемы рекурсии?

Здравсвуйте. Первый опыт с монадами. Мне нужно изменить подмножество стейта, так, чтобы это отразилось на всем стейте. Пример: data Frame == ... data Ctx = Ctx { _frame...

А как сказать stack'у, чтобы тот тянул файлы при сборке. У меня есть файлы с тетовыми данными, но в CI их не видно: TAPL-test: test/Tests/Lambda/Golden/src: getDirectoryConten...

Здравствуйте. А есть какое-то общее сравнение String, ByteString, Text etc. Чтобы прочесть и примерно понять чем они отличаются?

Здравствуйте. Хочу написать метод расширение для типа, обобщенного относительно другого типа. При этом этот экстеншен подразумевает констрейнт на дженерик. Вот так module Qu...

да, но вдруг пользователь захочет тесты запустить? я опять по dune сужу, там несколько отдельно зависимости для проекта и проекта с тестами

А в каком виде они есть? Может я не так гуглил. Мне нужны как в ОКамле или Хаскеле. Когда я в модуле определяю тип и никто с ним ничего сделать не может

Здравствуйте. У меня не получается создать модуль с квалифаером. В файле ..\test\Lexer.hs, я хочу создать модуль с именем Test.Lexer. Однако, при сборке используя stack я по...

Здравствуйте. Хочу настроить Ci для проекта на haskell, где используется stack. Не могли бы подсказать хорошие, простые примеры? А то в интернетах много, и не понятно, что акт...

Есть способо в tasty организовать golden тесты в последовательность тестов, как здесь? Не понимаю, вроде step ждет тесты типа IO (), а tasty-golden отдает только IO TestTree,...

А вот такое как по идеоматичности? modify (coerce . (succ :: Int -> Int) . coerce)

А студенты из России теперь райдер бесплатно иметь не могут, не подскажите?

Здравствуйте. Не подскажите, можно ли как-то открывать модули локально? Как в окамле, через точку в скобках: ModuleName.(funFromModule valFromModule)

Здравствуйте. Получаю это при сборке стеком: The field "build-tools" is deprecated in the Cabal specification version 2.0. Please use 'build-tool-depends' field Не подскажи...