AZ
зачем функция в самизх usize?
Size: a a a
2020 March 25
AZ
ну то есть её могли бы сделать
AZ
но не вижу ужаса что её нет
G
зачем функция в самизх usize?
Не понял
AZ
Не понял
напиши
mul вместо оператораAZ
профит
G
Есть тип Stat. В нём есть NonZeroUsize несколько, нужно impl Add for Stat, для этого мне нужно составные части сложить. Я бы мог просто derive(Add) сделать
p
Хм, а ведь NonZeroUsize это костыль из-за отсутствия reinfenment types
p
Да, или там есть какой-то мотив?
G
Хм, а ведь NonZeroUsize это костыль из-за отсутствия reinfenment types
Да
G
Да, или там есть какой-то мотив?
Ещё расположение в памяти оптимизируется, но я думаю, это можно было бы и обнаружить с просто x:int{x>0}
p
@WaffleLapkin а ты не хочешь к своей либе добавить reinfenment types?
G
@WaffleLapkin а ты не хочешь к своей либе добавить reinfenment types?
Откуда он их возьмёт?
p
Откуда он их возьмёт?
Можно накостылять через проц-макросы + внешняя тула / плагин к компилятору
G
Можно накостылять через проц-макросы + внешняя тула / плагин к компилятору
Плагин к компилятору = прувер теорем ?)
p
Плагин к компилятору = прувер теорем ?)
Чето типа биндинга который конвертирует растовый код в представление для пруверов, и в случае ошибки фейлит билд
G
Чето типа биндинга который конвертирует растовый код в представление для пруверов, и в случае ошибки фейлит билд
Работы там дохуя, да
p
Да
В
@WaffleLapkin а ты не хочешь к своей либе добавить reinfenment types?
1) к какой из?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
p
1) к какой из?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
2) что это?
3) ты уверен что это можно сделать без слишком серьёзной попоболи?
1. Хз.
2. Типы с уточнением
3. Нет, попаболи много будет
2. Типы с уточнением
3. Нет, попаболи много будет