с разными стейтами

а как тогда ты в таких ситуациях делаешь?:)

когда надо было то можно линзы

понятно

я до линз еще не дошел

а так у меня чаще код достаточно простой что не лень TF

трансформеры

где нету магии с автоматическими лифтами, но и нет проблем

это когда StateT и т.д.?

да

я ж так понял можно похожее писать MonadState MonadReader...

вообще в последнее время у меня код сильно в IO

но мне это тоже магией показалось

ну или каким-нить враппером над ним

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

ну вот ты же врапер делаешь

понятно

хотя я мне эта привычка не нравится

ну просто я всегда люблю изолировать IO

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

везде так стараюсь делать

ну у меня последнее время сплошной Process

ну и в других языках всмысле

или фримонадка над ним

Process - это что?

монада

в Contol.Distributed.Process

которая newtype Process a = P (ReaderT ProcessEnv IO a)

аа

поянтно

я еще не добрался

я в делклраации func не хочу писать что там State

потому что State - только ддля тестов нужен

по сути in-memory база юзеров

https://www.schoolofhaskell.com/user/meiersi/the-service-pattern

в приложении все в IO убдет а не в state

держи

это другой подход

в данном случае у тебя ж MyMegaMonad и ничего про стейт нет

у тебя может быть MyProductionMonad и MyTestMonad

где в одном случае state а в другом общение с базой

это вместо JiraState будет JiraIO какой-то ?

аа

нет

я понял

спасибо

2 вечера пытался загнать эти 2 State в эту функцию:)

newtype MyProductionMonad a = MPM { ReaderT JiraLogin (ReaderT RedmineLogin IO) a }

например

я понял

но посмотри про service oriented

я еще только не понял как мне свою RedmineT сделать

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

с ними правда не все так гладко может быть, т.к. склейка по IO скорее всего будет

зачем RedmineT ?

я проглядел

тут ReaderT Readmine

а зачем это в ридер заворачивать ?

ну я для примера

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

ага

ок

а ты пользуешся библиотечкой errors от Гонзалеза?

Неужели в тестирование хаск внедряешь😊(шутка)

чтобы протестировать эту логику

да нет, ну просто ты пишешь код

его же надо тестировать

чтобы тестировать надо изолировать внешние зависимости

такие как сервисы

чтобы изолировать надо вот тайп классы делать

ну и так далее

:)

ладно

пойду читать

👍

@qnikst спасибо за литературу :)

и за то что сказал что моя идея не сработает:)

errors - иногда да

Как бы вы сделали рекуррентный маппинг? На каждой итерации нужен доступ не только к текущему значению, но и к "аккумулятору". И обычным мапом не делается и редьюсом костыльно выходит.

Что такое маппинг?