AP
sequence
foldr (>=>) pure . replicate nSize: a a a
2021 January 09
к
еще можно
удивительно что в Data.Monoid нет какой-нибудь
(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
runKleisli . foldMap Kleisli . replicate nудивительно что в Data.Monoid нет какой-нибудь
exp :: Monoid m => m -> Int -> m
exp x n = fold (replicate n x)(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
exp n)к
ага. Так, очередной затык. Как аналогичным образом сделать "паралелльно".
sequence при это не делает параллельно сам по себе, это все зависит от реализации аппликатива
к
Control.Monad.Async.replicateConcurrently n action
уже сделает конкуретно (но вроде бы тоже не факт что параллельно)
уже сделает конкуретно (но вроде бы тоже не факт что параллельно)
ЗП
вижу iterateM, но оно не в base
replicateM?
A
точно
JS
еще можно
удивительно что в Data.Monoid нет какой-нибудь
(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
runKleisli . foldMap Kleisli . replicate nудивительно что в Data.Monoid нет какой-нибудь
exp :: Monoid m => m -> Int -> m
exp x n = fold (replicate n x)(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
exp n)ого, Кляйсли как моноид работает?
JS
еще можно
удивительно что в Data.Monoid нет какой-нибудь
(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
runKleisli . foldMap Kleisli . replicate nудивительно что в Data.Monoid нет какой-нибудь
exp :: Monoid m => m -> Int -> m
exp x n = fold (replicate n x)(+ падение при n < 0)
тогда будет
runKleisli (Kleisli f
exp n)кстати, ala
к
ого, Кляйсли как моноид работает?
ну я на самом деле думал вообще всегда что он в Data.Monoid и лежит, я очень удивился сейчас узнав что он не там
JS
replicateM?
нет, это вообще другое
к
нет, это вообще другое
не, это точно подходит под задачу
> то есть из replicate n myMonad получить m [a]
replicateM n myMonad
> то есть из replicate n myMonad получить m [a]
replicateM n myMonad
JS
не, это точно подходит под задачу
> то есть из replicate n myMonad получить m [a]
replicateM n myMonad
> то есть из replicate n myMonad получить m [a]
replicateM n myMonad
под вторую задачу подходит, да, просто ты ответил на первую
2021 January 10
A
Очередной вопрос. Есть f :: a -> b -> c -> [State World ()], где a,b,c это какие-то аргументы, а я в результате получаю последовательность преобразований мира, которая меня интересует.
A
как мне к этому проще всего прикрутить "логирование", чтобы эти вот преобразования мира вывести в виде последовательности строк?
A
добавить к миру еще один параметр "история действий"?
TZ
Вывести или сохранить?
TZ
Или сохранить и протечки памяти не страшны, то можно взять не State, а RWS
TZ
И логи во врайтер скидывать
TZ
А если прости вывести, то взять не State World, а StateT World IO, а дальше любая либа для логов, да хоть тот же co-log
A
решил, что для логов хочу группировать одинаковые записи, поэтому сделал чуть сложнее, но прямо в world