DS
У дерайвинга через Generic всё равно пока остаются проблемы, но писать его на порядок проще.
Box<dyn Generic>, то там за счёт выделения памяти и прыжков по указателю сильно скорость падать будет.Size: a a a
2020 April 16
Э
Если это какой-то
DS
Если это какой-то
Box<dyn Generic>, то там за счёт выделения памяти и прыжков по указателю сильно скорость падать будет.Нет, это Generic из frunk, который копирует хаскелевский Generic
G
Generic из funk - хорошая штука, правда сопроизведения не покрываетG
То есть только структуры <-> Hlist
DS
Generic из funk - хорошая штука, правда сопроизведения не покрываетВроде есть крейт который эту проблему устраняет
G
Вроде есть крейт который эту проблему устраняет
Ну-ка ну-ка
DS
Ну-ка ну-ка
Не уверен что оно, но по названию внушает надежды: https://docs.rs/frunk-enum-derive/0.2.0/frunk_enum_derive/
DS
Если это какой-то
Box<dyn Generic>, то там за счёт выделения памяти и прыжков по указателю сильно скорость падать будет.Ну и да, тут надо добавить, что это штука которая по идее целиком в компайл тайме работает за счёт того как резолвятся трейты.
А так там есть ещё детали, которые надо подправить, чтобы было хорошо, но их не очень много и никаких dyn там нет и в помине
А так там есть ещё детали, которые надо подправить, чтобы было хорошо, но их не очень много и никаких dyn там нет и в помине
Э
Умно, однако. HNil же ещё и zero-sized, так что там вообще никакого оверхеда нет.
Э
А лист с одинаковыми итемами - получается массив в забавной шляпе, но переменной длины. И можно вместо
делать трейты для HList.
impl Trait A for [T; const N] // которое доступно только на nightly, насколько я помню,
делать трейты для HList.
Э
Или нельзя?
DS
Или нельзя?
Ну можно попробовать вот в таком виде:
impl <T, Ts: HList + A> A for HCons<T, Ts> { ... }impl A for HNil { ... }Э
Нда, на рекурсии оверхед сразу появляется.
DS
Нда, на рекурсии оверхед сразу появляется.
Ну по хорошему эти реализации надо в #[inline(always)] обтягивать, чтобы компилятор эту рекурсию инлайнил всегда
G
Не уверен что оно, но по названию внушает надежды: https://docs.rs/frunk-enum-derive/0.2.0/frunk_enum_derive/
А блин, там же
Coprod, а какой-то левый VariantЭ
Так, стоп. Этот лист не просто лист, этот лист может сожрать кучу разных
impl Trait, без Box<dyn>. Ёлки-иголки!DS
Так, стоп. Этот лист не просто лист, этот лист может сожрать кучу разных
impl Trait, без Box<dyn>. Ёлки-иголки!Ага, гетерогенный же список
DS
Для чего в том числе и нужен