Могу только экстраполировать собственный опыт реализации таких структур: мапка, помеченная содержащимися элементами на уровне типов.

Это улучшенный (по сравнению с трейтами) рекорд, т.е. как трейт он симметричный, с идемпотентными тайп-пересечениями , с операциями сужения и получения элемента по тегу,  только с добавленной операцией рантайм-юниона, слияния, которую до этого нормально нельзя было сделать, можно было только в непараметрической форме с помощью zio macros.

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

Мало того, я не помню, пропагандируется ли злейер в рантайме или только для построения контекста.
Если в рантайме - значит вы всегда лезете в мапку на каждый чих, т.е. перфоманс вашего контекста на уровне пайтона где-то

В чем проблема использовать преимущества сборки ГЦ при инициализации без дистейджа

Могу только экстраполировать собственный опыт реализации таких структур: мапка, помеченная содержащимися элементами на уровне типов.

Это улучшенный (по сравнению с трейтами) рекорд, т.е. как трейт он симметричный, с идемпотентными тайп-пересечениями , с операциями сужения и получения элемента по тегу,  только с добавленной операцией рантайм-юниона, слияния, которую до этого нормально нельзя было сделать, можно было только в непараметрической форме с помощью zio macros.

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

Мало того, я не помню, пропагандируется ли злейер в рантайме или только для построения контекста.
Если в рантайме - значит вы всегда лезете в мапку на каждый чих, т.е. перфоманс вашего контекста на уровне пайтона где-то

Могу только экстраполировать собственный опыт реализации таких структур: мапка, помеченная содержащимися элементами на уровне типов.

Это улучшенный (по сравнению с трейтами) рекорд, т.е. как трейт он симметричный, с идемпотентными тайп-пересечениями , с операциями сужения и получения элемента по тегу,  только с добавленной операцией рантайм-юниона, слияния, которую до этого нормально нельзя было сделать, можно было только в непараметрической форме с помощью zio macros.

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

Мало того, я не помню, пропагандируется ли злейер в рантайме или только для построения контекста.
Если в рантайме - значит вы всегда лезете в мапку на каждый чих, т.е. перфоманс вашего контекста на уровне пайтона где-то