G
а т.к. фолдл это катаморфизм, мы выразим ещё мап через фолдл))
Size: a a a
2020 May 06
DF
😊👍
p
Я точно помню тыщщу красивеньких сайтов с набором стандартных иконок, но где они теперь
ГЖ
Поясните, позязя, почему случайное изменение битов должно катастрофически сказаться именно на функциональщине?
DS
Поясните, позязя, почему случайное изменение битов должно катастрофически сказаться именно на функциональщине?
Потому что это тупой мем с профунктора
p
При чем походу на основании разговора в этом чате, но это не точно
ML
Поясните, позязя, почему случайное изменение битов должно катастрофически сказаться именно на функциональщине?
Потому что ты не понял
ML
Потому что это тупой мем с профунктора
Ну это дефолт
p
@emmanuelGoldstein можешь поделиться реализацией ветвящегося списка? он мне резко понадобился в обычном коде
DS
@emmanuelGoldstein можешь поделиться реализацией ветвящегося списка? он мне резко понадобился в обычном коде
Если речь про персистетный список, то возьми их какого-нибудь rpds или im
p
ну мне нужен список как из хаскеля, можно добавлять в начало элементы и при этом у других людей этот список не изменится, кек
p
хотя я так подумал что в расте это будет очень медленно, поэтому лучше сделаю через обычный вектор и мутабельность
DS
ну мне нужен список как из хаскеля, можно добавлять в начало элементы и при этом у других людей этот список не изменится, кек
Ну да, это персистетный список, смотри в rpds или im
DS
хотя я так подумал что в расте это будет очень медленно, поэтому лучше сделаю через обычный вектор и мутабельность
Так переаллокация вектора при копировании - это тоже не дешево
DS
Тут надо бенчить под конкретный кейс
p
ну я не буду копировать
DS
ну я не буду копировать
А что будет, если кто-то добавит в начало вектора, как ты описал в своем юзкейсе?
p
pub struct Context {
pub objects: Vec<AllObject>,
pub parent: Option<Box<Context>>,
}
в общем у меня структура такая, так и оставлю, буду пихать в objects объекты
pub objects: Vec<AllObject>,
pub parent: Option<Box<Context>>,
}
в общем у меня структура такая, так и оставлю, буду пихать в objects объекты
p
блин может на идрис переписать🤔