Э
Но разобрать его всё равно не вижу как.
Size: a a a
2020 April 16
DS
Но разобрать его всё равно не вижу как.
Вся логика по работе с ним обычно делается на трейтах, которые строятся, как я выше указывал.
A
Что, экзистенциальные типы завезли?
DS
Artem
Что, экзистенциальные типы завезли?
Нет, просто немного стандартной полу-тайп-левел магии.
A
Я сегодня узнал, что ненаселённый тип сделали анстейблом 2 года назад почти. Взгрустнул.
Э
Вся логика по работе с ним обычно делается на трейтах, которые строятся, как я выше указывал.
Нельзя, например, impl Iterator сделать, потому что GAT не завезли.
Э
В итоге всё равно не разбирается лист генериков.
DS
В итоге всё равно не разбирается лист генериков.
А во что ты хочешь его разобрать?
Э
Ладно, согласен, не надо его разбирать, и fold'а хватит.
Э
На больших цифрах не очень хорошо выходит. Лист жрёт стэк, рекурсия жрёт стэк. Надо бы придумать вектор для такого листа.
DS
На больших цифрах не очень хорошо выходит. Лист жрёт стэк, рекурсия жрёт стэк. Надо бы придумать вектор для такого листа.
Так он жрёт столько же, сколько жрёт подобная ему структура или массив константной длины.
Э
Да, но массивы в отличие от этого листа крайне плохо масштабируются.
DS
Это считай, полностью изоморфная структурам штука.
DS
Так, понял, как получить одинаковый выхлоп в асме, но для этого придется добавить свой тип подобный Generic'у, только не владеющий.
Ну это уже не проблема.
Ну это уже не проблема.
Э
Вообще, проблема с листом в куче не то чтобы большая, но писать много придётся, потому что многие функции там жрут весь лист, а не ссылку на него, и всё это надо переписать под новый лист.
DS
Вообще, проблема с листом в куче не то чтобы большая, но писать много придётся, потому что многие функции там жрут весь лист, а не ссылку на него, и всё это надо переписать под новый лист.
Тут заметно, что Generic просто взяли из хаскеля или скаловского шейплесс, особенно не переделав под раст-специфику.
Потому что для раста важно наличие чего-то вроде такого:
Потому что для раста важно наличие чего-то вроде такого:
trait AsRefGeneric<'a> {
type Repr: 'a;
fn as_generic(&'a self) -> Self::Repr;
}Э
Хотя вру, там офигеть сколько проблем. В какую сторону расширяется лист? У меня есть подозрение, что на стеке он каждый раз копируется, потому что расширяется в обратную от нормальных массивов сторону.
Э
То есть в куче будет куча unsafe, которая вовсе не обязана работать, потому что #[repr(Rust)] не имеет стабильного ABI.
Э
Сегодня этот лист расширяется в одну сторону, а завтра в другую.