понял

Ага

А я думал через имплиситы прицепить event-listener-ы

Но тогда у меня в разных модулях логично бы иметь что-то типа (?listener :: X)

А поскольку пространство имен общее, то так просто это не сделать

(Но это пока на уровне мыслей, я ни строчки кода не написал для этого)

так а если сейчас имплиситы реализованы через IP класс, то почему это работает там

Мне кажется они реализованы не просто через IP, а через IP fundep и кучу магии

Т.е. это настоящее расширение, а не синтаксический сахар

Вообще у меня в последнее время в голове возникает много идей о том, как лучше организовывать код, всякие принципы, стандартные решения - я боюсь, что у меня поехала крыша 🙁

Ну или скоро поедет, типа вопрос времени

Причем, чем более успешные будут подходы и решения - тем раньше поедет 🙁

поддерживаю вопрос

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

у меня есть функция 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

filterM виснет

Книжку пиши

Для IO - unsafeInterleaveIO

У тебя структура M должна уметь в ленивость

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

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

Например если последний элемент кидает ошибку