AV
join :: Monad m => m (m a) -> m a
Size: a a a
2020 November 09
AV
Если глубокое совсем и без эффектов то через Data.Foldable.toList
YS
а то сделаешь так newtype там где подразумевалась data, а потом нужно будет поле добавить, а какой-нибудь coerce уже сломался
Это да
AV
Вот тоже как не стыдно критиковать!! Люди старались время тратили, силы, какое вы право имеете критиковать то, что они пишут!!!!
YS
Я тоже время потратил!
YS
Даже вон стал пораньше!
AV
Твоё время не в счёт! (моё тоже :(( )
YS
Будем считать что мне стыдно (
KV
Просто
Writer не катитПочему?
KV
Лог должен быть моноидальным, чё не так
теллить синглтон — это норм
Единственная проблема с обычным Writer в том, что он течёт, это решается использованием CPS версии, которая изоморфна State, но с ограниченным api
теллить синглтон — это норм
Единственная проблема с обычным Writer в том, что он течёт, это решается использованием CPS версии, которая изоморфна State, но с ограниченным api
KV
"последовательный списочек записей" это уже моноид тащемта
KV
«Списочек» не обычный список, а табличка, дописывать можно в разные места по ключу
Тоже моноид, см. пакет monoidal-containers
KV
> теллить синглтон — это норм
Но ведь оверхед!
Но ведь оверхед!
Вы пишете на хаскеле, это уже оверхед. И вообще, сначала профайлите, потом оптимизируете
MK
Опять ты со своим окамлом везде оверхед видишь)