G
1) к какой из?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
3) Нет
Refiment<u8, Min = 10, Max = 100> @p0lunin ?Size: a a a
2020 March 25
В
Типо
p
Работы там дохуя, да
И неизвестно что делать с лайфтаймами, их нельзя обычными пруверами пруфать
p
В
p
Можно типо:
fn foo<T, U, Z>(left: T, r: U) -> Z
where
T: Integer + Max<10> + Min<1>,
U: Integer + Max<100> + Min<10>,
Z: Integer + Max<110> + Min<11>
Насколько я помню, const generics такое позволяют?
fn foo<T, U, Z>(left: T, r: U) -> Z
where
T: Integer + Max<10> + Min<1>,
U: Integer + Max<100> + Min<10>,
Z: Integer + Max<110> + Min<11>
Насколько я помню, const generics такое позволяют?
В
Можно типо:
fn foo<T, U, Z>(left: T, r: U) -> Z
where
T: Integer + Max<10> + Min<1>,
U: Integer + Max<100> + Min<10>,
Z: Integer + Max<110> + Min<11>
Насколько я помню, const generics такое позволяют?
fn foo<T, U, Z>(left: T, r: U) -> Z
where
T: Integer + Max<10> + Min<1>,
U: Integer + Max<100> + Min<10>,
Z: Integer + Max<110> + Min<11>
Насколько я помню, const generics такое позволяют?
const generics всё ещё ломают компилятор чаще, чем я начинаю новые проекты, так что лучше уж typenum заюзать
G
Такое даже можно сделать без слишком большой попоболи, но смысл под вопросом. Как минимум никаких layout optimizations (
Вряд ли можно функцию положить в обобщённый тип и запускать её во время компиляции
В
Если кому-то реально нужно, могу добавить в свой воображаймый TODO-list
В
Вряд ли можно функцию положить в обобщённый тип и запускать её во время компиляции
А зачем?...
p
Если кому-то реально нужно, могу добавить в свой воображаймый TODO-list
Не нужно, но почему нет)
G
А зачем?...
Как бы смысл типов с уточнением
В
Как бы смысл типов с уточнением
Я пока не понял чем это не тип с рейнджем значений из паскаля так что не понимаю
p
Как бы смысл типов с уточнением
Можно парсить АСТ и по нему проходить самостоятельно, без компиляции. Так быстрее даже будет.
G
Типы с уточнением можно воспринимать как нотацию для множеств
В
Не нужно, но почему нет)
Если не нужно то я и делать не буду, и так идей больше чем времени) да и устал я чот(
p
Я пока не понял чем это не тип с рейнджем значений из паскаля так что не понимаю
Ты можешь написать
fn is_two x = x % 2 == 0
fn bar(x: i32{is_two x})p
Псевдокод, понятное дело
В
Ты можешь написать
fn is_two x = x % 2 == 0
fn bar(x: i32{is_two x})такое в расте не сделаешь.
В
Точнее попоболь будет в разы перевешивать смысл