toroboque

Ну ладно, с "крупным" понятно. А вот у тех, кто знает теоркат, получалось что-то применить в проектировании/программировании "обычных" приложений на Haskell? Я вот только ле...

А можно ли как-то на associated type family наложить ограничение? Я пытаюсь повысить типизированность своего движка вывода, и хочу разделить классический Expression на Predic...

Подскажите, а как можно отследить зацикливания в программе? Есть древний (на stack LTS-8.5) проект, он использует Servant. Пытаюсь обновить до 17.9, уже почти удалось, но вот...

А существуют ли какие-то более эффективные, нежели Data.Set, структуры данных/алгоритмы для сложных структур данных? Вот у меня есть data Expr f = EValue Int | EVar ...

Подскажите, как правильно сделать cons для data List a = List ((a -> z -> z) -> z -> z) -> List a? Пытаюсь решить на codewars.com кату "Lambda Calculus: Lists as folds II". Т...

Подскажите, пожалуйста, а есть какой-то простой синтаксис удобного pattern matching в лямбдах? Например, у меня есть data AorB = A Int | B String, и надо разделить список на ...

Я не до конца понимаю суть, почему нельзя протягивать состояние. Вот у меня такое: type PostgresT m = ReaderT Connection (StateT TxState m) -- Убрал RWST type TxState = HMa...

Подскажите, пожалуйста, какие-нибудь туториалы по сборке своих монадных стеков. Вот есть приложенние, хочу в нём более чётко разделить доступы. У меня сейчас какой-то самопал...

Может, есть какой-то способ вытащить MonadIO или даже IO из MonadUnliftIO? Вот в таком коде: doPostgresPersist :: Postgres m => PSQL.SqlPersistT m a -> m a doPostgresPersist...

Подскажите, пожалуйста, а как в beam (точнее, в beam-postgres) свои user-defined функции из БД вызывать? Ну, например, regexp_split_to_table.

А вот интересно, есть ли книги/мануалы/курсы/etc. по обучению детей на Haskell? Чтобы не с, простихосподи, Scratch начинать...

Подскажите, пожалуйста, а как с помощью dplyr сгруппировать *списки*? t1 = tribble( ~x, ~sent, "a", c(1,2,3), "b", c(10,20,30), "a", c(5,6,7), "b", c(15,1...

Жесть, конечно. Полно ж кода на пакете persistent. И что, теперь разрабы сидят, перепиливают свой код с MonadBaseCotronl на MonadUnliftIO ?

Подскажите, а как в компиляторе Visual Studio заюзать исключения в DLL? Вот есть такой код: ``` extern "C" __declspec(dllexport) bool __stdcall myFunc() { try { throw ...

Подскажите, есть ли какой-нибудь пакет, который может сравнить две структуры и выдать отличия? У структур есть Typeable и Data. Например, есть data Tree a = Bin (Tree a) (Tre...

Можете подсказать, почему в R потоки не поддерживаются?

Подскажите, а как сделать инстанс MonadUnliftIO RWST? Судя по обсуждению в github'е unliftio, это ещё только разрабатывается.

Подскажите, а какие сейчас актуальные способы распаралленивания для caret под Windows? Я попробовал стандартный doParallel ещё doSNOW, но все они дают небольшое ускорение, +10...

А может ли stack параллельно собирать? Запускаю stack build --fast --jobs=24, а он всё равно в один поток молотит. Хотя файлы, вроде, независимые.

Подскажите, а есть какой-то способ сослаться на quasi-quoter [d|...|]? Хочу вместо него писать [myD|...|], но что-то не пойму как.