приложенние, хочу в нём более чётко разделить доступы. У меня сейчас какой-то самопальный огород из
saveToDb :: (HasLog m, HasDb m) => SomeData -> m (Either Text Result)
Хотелось бы посмотреть, как грамотные люди это делают.
Есть какие-нибудь хорошие примеры? Может, есть открытые готовые приложения, где подобные идеи эксплуатируются?
очень похоже на polysemy (таймкод) https://youtu.be/idU7GdlfP9Q?t=1395
Есть миллион способов Mtl-like, handle pattern, free monads, системы эффектов
Обсуждают сегодня