AZ
red75prime
Ну я и говорю, комбинаторы забыл
каокй? sequence нужен просто чтобы из списка ио получить ио списка
Size: a a a
2020 February 08
AZ
но ты можешь руками пройтись в forM
r
Если ещё, скажем, State monad добавить?
AZ
red75prime
Если ещё, скажем, State monad добавить?
ну мне лень немного сигнатуры писать
AZ
но вот я писал для state + Writer: https://repl.it/@Pzixel/GlaringSarcasticPoints
r
Или как будет лучше после каждого введённого числа выводить их сумму?
AZ
в частности
go (Leaf a) = do
tell 1
s <- getAZ
tell это операция логгирования в Writer, а get это операция получения State
AZ
этот код проходит дерево, нумеруя вершины, и выдавая суммарное количество посещенных листьев, за один проход
r
А где суммирование делается?
AZ
getSum
AZ
каждый лист единичку пишет, getSum их суммирует
AZ
точнее их суммирует Sum, а getSum это способ прочитать что он насуммировал
P
и? в сишарпе я напишу
var a = await some
var b = await a.Foo();
return await b.Bar()в том, что ты читаешь слева направо, а не мерзкой спиралью сишных указателей
AZ
соответственно чтобы добавить список/ио/... нужно будет в матрешку добавить еще элемент
AZ
Но это обучающий пример, вместо явных типов ты потом скорее сделаешь констрейнт
AZ
(MonadState Integer m, MonadWriter (Sum Integer) m) => ...AZ
то есть вермишели из 547 вложенных типов делать не придется
r
Мне нужны хинты, чтобы быстро понимать код. Единообразный do над матрёшкой из монад - это не моё.
AZ
red75prime
Мне нужны хинты, чтобы быстро понимать код. Единообразный do над матрёшкой из монад - это не моё.