вот когда в расте тоже буду получать километровые ошибки и мне будет комфортно - тогда я узнаю что пора в кресты

короче, смотри что получается
интерфейсы (aka dyn Trait) - явление зависимых типов в наш грешный императивный мир, их взаимоотношения в нашем языке не описываются и мы только можем ручками что-то накостылять
вся часть expression problem для открытых сущностей возникает только потому, что мы пытаемся логику интерфейсов (в которых наши бренные императивные языки беспомощны) транслировать в компильтайм с достаточными возможностями по анализу происходящего

А ты у Гиролёта не видел как бесконечно...э...шаблон разворачивается?
Там вообще нечитаемый ужас

ну так хиро для того вроде и делал пойку чтобы пугать ею пацанов

считай, что это call stack компилятора)

что ты предпочитаешь - панику без коллстека или панику с коллстеком?

нет? с этого места поподробнее

трейты - они все динамические, это оптимизатор выкручивается, чтобы оно хоть как-то компилировалось. Но семантика всё равно скриптушная

Там в Rust'e было. Просто хз какая в Rust для этого терминология. Он вроде говорил, что у него компиль в бесконечную рекурсию ушёл

забыл (с) Царь написать

если юзать трейты как концепты то никакой иерархии там нен ужно

хм... иерархия должна возникать, иначе нет L

в С++ она вроде бы возникает при разрешении перегрузки

блин, я кажется наконец-то понял, что тов Ц. имеет в виду, забавно

апостолы царя

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

не должна

например T : From<i32> + Clone + IntoIterator<Item=u8>

какая тут иерархия между ними7

там отношение порядка "A -> B"