Erin Igor

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

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

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

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

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

Так а причем тут кодген, если оно не чекается? Это же не кодген чекате, что паттерн падает?

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

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

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

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

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

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

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

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

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

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

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

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

ну да, про бенчмарки позабыл, для меня это был весь проект. Под программами Вы понимаете exeсutable компоненты?

понял, раз уж пошел разговор про это, а почему так происходит? Про сборку библиотек и программ