Прагматичность разная бывает. В 99% тебе поибать на боксинг - гц вытащит, а тебе валуе надо приносить

Потому что его ты не сделаешь так, чтобы он нормально соптимизировался.

1% случаев - ок, оптимизируем

Тут скорее речь про то, что раст нет смысла брать, если тебе оптимизировать нужно только в 1% случаев

там нет инвариантных/ко дженериков что ль или ещё чего

нет, ну может быть какие-нибудь пятиэтажные макросы и смогли бы. я не знаю, но пользоваться этакой кракозяблей было бы ужасно.

а преждевременные оптимизации все же зло. Это не оправдание говнокода, это именно про преждевременные оптимизации

Согласный

я про итераторы

Нет, тут две проблемы:
1. Все замыкания, генераторы и футуры из асинков имеют принципиально неназываемые в стабильном расте типы, поэтому если ты хочешь вернуть из метода трейта без боксинга футуру асинковую или замыкание - то тебе придется ощутимо извращаться. В ночном расте получше, но всё равно с приключениями.
2. Отсюда идёт вторая проблема, чтобы вернуть без боксинга подобный тип из трейта, ты в трейте создаешь ассоциированный тип вроде:

trait HasIterator {
   type MyIterator: Iterator<Item = i32>;
   fn create_iterator(&self) -> Self::MyIterator;
}

И вопрос, а как выразить то, что у твоего типа &'a self и его итератора будет одинаковое время жизни? Т.е. что итератор зависит от времени жизни текущей ссылки на твой тип?

А никак

Потому что ты в стабильном расте не можешь написать такую штуку:
```

trait HasIterator {
   type MyIterator<'a>: Iterator<Item = i32> + 'a;
   fn create_iterator(&'a self) -> Self::MyIterator<'a>;
}

```

Потому что ассоцированных типов, зависящих от других типов пока не завезли (это как раз некое подмножество HKT)

А прикол в том, что чтобы в расте вернуть из трейта итератор не сделав бокс - тебе нужны:
1. Ассоциированные типы (это аналог type families из хаскеля в неком смысле)
2. Экзистенциальные типы (чтобы назвать неназываемый тип генератора, замыкания или асинка)
3. HKT или Rank2 трейты (если костылём пользоваться)

Офигеть как прагматично

Чёт они перемудрили но я понял проблему, странно что итераторы и прочее не являются типами стдлибы или ещё как

звучит так, что чтобы в Расте вернуть итератор из трейта, нужна степень в компютер саенс

типо даже в плюсах не так хуево, учитывая их тоже перемудреное апи

Да, на что я и ругаюсь

Ну тут проблема в том, что для каждого замыкания, асинка или генератора генерируется свой тип, который назвать просто так ты принципиально не можешь.

Тип есть, компилятор его знает, он им пользвуется, но дать название ты, человек, ему не можешь. И следовательно нормально сослаться на него ты тоже не можешь.

(В стабильном расте, в ночном можно как раз экзистенциалы подцепить)

А тип генерируется, чтобы не боксить замыкания, генераторы и т.п. и чтобы можно было их сделать зирокост на статическом диспатче