AP
Я не хочу в простом коде писать больше, от того, что вам норм хотите писать больше.
Size: a a a
2021 May 27
AV
Да взял уже
AV
Реакция такая, как будто я библию критикую в чате верующих
AP
Есть mtl, который даёт гарантию того, что всё тайпчекается без прописываний типов. Вы хотите эту гарантию снять. Не надо так
AP
L
newtype SubReaderT r m a = SubReaderT { runSubReaderT :: ReaderT r m a }
deriving (Functor, Applicative, Monad) via ReaderT r m
instance Monad m => MonadReader SubConfig (SubReaderT Config m) where
ask = SubReaderT $ asks _inner
local f x = SubReaderT $ local (\c -> c{_inner=f (_inner c)}) (runSubReaderT x)с ньютайпом вроде всё довольно коротенько. немножечко бойлерплейта с runSubReaderT в месте использования можно спрятать под ковёр в какой-нибудь
reallyRunSubReaderT = runReaderT . runSubReaderTAP
придётся буквально любой код, не завязанный на конкретный ридер, но использующий ask, писать с явным протаскиванием scopedtypevars
AP
не хотеть