Anton Sorokin

Интересно кстати про ленивое ИО, do bs <- LBS.readFile f print (length bs) send bs будет держать всю bs в памяти когда отправляет? То есть было бы тут правильнее два р...

Кстати ещё typelevel вопрос. Представим что у меня есть data X = A | B и data Gadt (p :: X) where GA :: Gadt A, GB :: Gadt B, а я хочу штуку вида f :: SomeConstraint p => Gad...

{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE FlexibleInstances #-} module Smth where class Eq a => X a class Eq c => Y c instance X a => Y a Где то написано, почему т...

А как добавить pkg-config зависимость в stack проект?

А никто не знает, вдруг где то есть квазиквотер для HList, типо [hlist|a, b, c|] превратит в a `Cons` b `Cons` c `Cons` Nil или просто готового парсера хаскелльных выражений,...

А кстати, если хотеть получить экзешник под Винду, кто какой из стульев (кросскомпиляция и сборка под виндой) предпочтёт?

Кстати, забавный вопрос про тайплевел: у меня есть несколько ньютайпов над Text (UserNameText, EmailText, ...) и я хочу чтобы для них всех ConvertibleStrings(cs) работал бы к...

А кто что делает, если нужно создать класс, один из параметров которого идейно не является типом (а является именно опцией для этого класса), и приятно сделать кастомный кайнд...

А никто не помнит пример где дописывание return () после forever ... в конце do-блока с типом m () меняло поведение асинхронного кода? Похоже я с чем то похожим столкнулся, хо...

Нет ли случаем либы, где есть "рекорды как в purescript", то есть чтобы по штуке кайнда [(Symbol, Type)] собрать тип, с возможностью добавлять новые поля и менять линзами (lab...

А кто нибудь использует HLS в stack проекте в котором несколько экзекутаблов с общей библиотекой? Я бы хотел, чтобы работали переходы из экзекутаблов в библиотеку и чтобы при ...

Продолжение вопросов про линзы) У меня есть линза с объектом data X a = X {user :: a, ...} с фокусом на a, список [X UserID], и запрос f :: [UserID] -> m [UserView]. Понятно, ...

А есть автогенерилка "тайплевельных линз", то есть тайпфемили которые в промоученном X {rec1 :: A, rec2 :: B, rec3 :: C} заменят значение rec3 на что нибудь новое? Пока что о...

А мутабельные векторы нельзя транзакционно менять как нибудь, кстати? Ато правда ведь продолбаться что нибудь может

А заставить ghcid увидеть новый файл без пересборки ведь нельзя? Тогда наверное надо stack build —file-watch использовать с no-code какими нибудь, может у кого есть команда?

Кстати, String -> (KnownSymbol n => r) -> r возможно написать? Мне казалось что такое было, но сейчас не могу найти

А кто что делает, если есть тип, который хочется параметризовать кучей условно говоря булевых фантомных параметров? Чтобы новый параметр в имеющийся код без проблем добавлять ...

main = print . sum . ($ []) $ iterate ( . (++ [1]) ) id !! (10^7) Я помню что где то написано что можно много раз поконкатить, и не потерять в производительности , каким то в...