X
https://sdleffler.github.io/RustTypeSystemTuringComplete/
Могу предложить только какую-то версию брейнфака
Могу предложить только какую-то версию брейнфака
Так там же тоже макросы
Size: a a a
2020 August 01
EG
Так там же тоже макросы
Можно без них
EG
Там макросы чисто для удобства
X
Ну так
X
Удобство ещё никому не мешало
EG
Но все вычисления происходят всё равно на тайплевеле с помощью трейтов
H
будет ли оно удобным — вот в чём вопрос
X
Хотя
X
>пролог
>удобный
>удобный
p
struct Wrapper<T>(T);
type t1 = Wrapper<()>;
type t2 = Wrapper<t1>;
type t3 = Wrapper<t2>;
// Через некоторое время Rust сдастся
не, там лимит вложенных типов модно регулировать. я 100 миллионов ставил, раст выживал.
X
H
не, там лимит вложенных типов модно регулировать. я 100 миллионов ставил, раст выживал.
модняковый ты
p
хм, а можно безопасно преобразовать Box<T> в слайс &[T] с одним элементом?
EG
хм, а можно безопасно преобразовать Box<T> в слайс &[T] с одним элементом?
Через трансмьют вряд ли
EG
Box размером с один указатель, а слайс с два указателя
EG
*
where T: SizedEG
Если
T: !Sized, то размер у них одинаковый, но содержимое всё равно разноеp
мне уже не надо
EG
b: Box<T>;
unsafe { Vec::from_raw_parts(b.into_raw(), 1, 1) }
А вот это может и сработать
EG
А может и не сработать