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

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

Это даёт то, что ты можешь смотря на сигнатуру примерно понять, что эта функция может и что не может делать

там правда был реально крутой пример с транзакциями

эм ну вот я чтото не совсем понимаю, там разве не матрешка получается из монад где всеравно доступен всем глобальный IO?

Нет, если ты так можешь делать, то это так себе система эффектов

ну я говорю про монад трансформеры. там можно так не делать? или в фримонадах/тф уже открывается уровень иной?

Трансформеры - не для контроля эффектов, а для того, чтобы их просто сочетать.

Тебе смотреть в сторону тф/фримонад и их наследников, которые по сути едсл про эффекты

это многое проясняет

тоесть получается на трансформерах далеко не уедешь?

а если не важен контроль эффектов то можно ли чтото создать на трансформерах чтобы сочетать например три энва, пять writer'ов, и тд?

Тебе в тф, начни с него

Можно, но это не очень производительно и удобно

ох это реально многое расставило по местам спс

Так не работает это

forwardSub :: ( Num a
             , Fractional a
             , Foldable m
             , Additive m
             , Ixed (m a)
             , Ixed (m (m a))
             , i ~ Index (m a)
             , i ~ Index (m (m a))
             , Eq i
             , Ord i
             , Integral i
             , a ~ IxValue (m a)
             , m a ~ IxValue (m (m a))
             )
          => m (m a)
          -> m a
          -> m a
forwardSub a b

я: выполняю запрос от имени администратора
Windows:

и это не смешно, я не могу папку удалить

Ну, я конечно не спец в винде, но можно попробовать из-юзера System