к
A, X :: Type
f :: [A] -> SetM X
g :: Reader W [A]
h :: ReaderT W SetM X
g = do
w <- ask
let as = runReader g w
lift (f as)Size: a a a
2021 March 19
IR
и как там?
если всё заанбоксить и арифметику делать - регистры используются, волшебной векторизации нет
A
скорее наоборот, хочу ReaderT W SetM x
к
ну поправил до X
A
не, в смысле x это некоторый конкретный тип, а SetM это монада и a это ее аргумент
A
f делает из списка SetM
A
но вобщем да, понял
A
я не догадался напрямую дернуть runReader
A
внезапно словил, что
evaluate :: Monad m => M.Map (Bank,Currency) Decimal -> ReaderT World m Decimal
evaluate balances = sum <$> mapM evaluate' $ M.toList balances
A
не работает, а если $ заменить на скобки, то работает
O
sum <$> mapM evaluate' $ M.toList balances это (sum <$> mapM evaluate') (M.toList balances)A
а, во, нашел mapReaderT
A
g = mapReaderT f g
к
ну, в случае когда исходный тип это Identity, то этот mapReaderT это просто (pure . runReader)
mapReaderT f m = ReaderT $ f . runReaderT m
mapReaderT f m = ReaderT $ f . runReaderT m
A
ага, я понял, что дело в порядке вычисления операторов
A
ага
A
а у меня наверно можно сделать что там не Reader W [x], а ReaderT W [] x.. или такое нелегально?
к
да легально конечно, если функцию forall a. [a] -> m a можно написать
к
а возможно ее написать только если m имеет Alternative инстанс (если это общий случай, иначе можно что угодно сделать офк с этими значениями)
по сути единственный разумный общий вариант это
f :: Alternative f => [a] -> f a
f = foldr (<|>) empty . fmap pure
по сути единственный разумный общий вариант это
f :: Alternative f => [a] -> f a
f = foldr (<|>) empty . fmap pure
A
ну да, она ровно такая и есть, forall. [a] -> m a. Оно для Ord схлопывается в Set, а для не-Ord остается списком