DS
Неназываемые типы - это рак, убивающий раст
Size: a a a
2021 April 30
DS
Что генераторы, что асинки, что замыкания
AN
Я понял что &mut формально мувается. Но лочится изначальный слайс все равно. Пока я не dropну указатели на внутренности.
DS
Теперь уже понятно, что это дико костыльный подход, не надо было так делать
B
так а шо это поанглиски
AN
Или тут пролема именно в том что генераторы мы храним как то по ссылке а не позначению как вектор? Хотя разницу не вижу.
DS
Ну какой тип будет у f в участке кода:
let closed_value = 123_i32;
let reference = &closed_value;
let f = |x: i32| *reference + x;
KR
Ну и да, и нет. Получается что с ними надо работать просто на один ранг выше. И если развивать ранги полиморфизма для трейтов, то можно нормально с ними жить.
B
а, понел, я в с++ это через деклтайп решал
DS
Ну тогда скорее речь про то, что нужна нормальная система kind'ов, чтобы как в хаскеле можно было бы сделать ConstraintKind и тогда не нужны будут отдельные ассоциированные трейты
DS
Хватит ассоц типов с другим кайндом
KR
Хаки типа plug + unplug и дефункционализации через type families позволяют и в rank-1 выражать forall.
B
а чем оно плохо?
DS
Но это абсолютно неэргономичный подход в реальном коде
KR
Ну вот да.
DS
Куча бойлера и т.п.
DS
Если такого хочется, то проще взять хаскель
B
низзя
KR
Да блин… Раст и rank-N полиморфизм не про эргономичность. Томака-стайл вперёд!
KR
Но я ещё не наигрался с plug+unplug.