Сначала нужно showcase проекты

в хаскеле такой воркфлоу сложно воспроизвести

при достаточном желании можно в один файл все уместить через stack script

а где про кабаловую написано?

а как скрыть кайнд, чтобы не нужно было его указывать через type applications?

Пока не сделали

подскажите, как написать такой вот фильтр, чтоб работал на бесконечных списках?

у меня есть функция pred :: a -> IO Bool
и последовательность xs :: [a]
хотелось бы такой filter :: Monad m => (a -> m Bool) -> [a] -> m [a]

cейчас я могу написать несколькими способами: do нотация, комбинаци sequence. При попытке вывести первые 10 элементов через take 10 поднятое fmap, или через do нотацию – ничего не происходит, точнее вычисления пытаются дойти до конца бесконечного списка. Как обойти такую проблему?

хотел изначально использовать liftIO но MonadIO не реализован для списков
к примеру такое работает

a = return [1..] :: IO [Int]
take 10 <$> a

Ну если не пользоваться -HEAD это неразличимо

недавно, кстати, в мр линтипов гамари спрашивал, не успеют ли они к 8.12
не ожидал, что для кого-то это вопрос