ΑZ
там проблема, что range check несовместим с производительностью, он никогда не устраняется
range check ортогонален, ты можешь в хипе аллоцировать и не иметь их
Size: a a a
2020 August 31
С
Это иначе как зависимым типом не назвать
ΑZ
Ну а как проверять компилятором, что проверка на границы в такой-то функции - верная, и проверяет настоящую длину, на которую был аллоцирован массив?
в компайл тайм - только если оно в тип зашито, о есть с завтипами, да
С
Есть фокусы как в Аде, с second stack, к rust оно неприменимо
CD
range check ортогонален, ты можешь в хипе аллоцировать и не иметь их
ну эта структура, видимо, никак не может быть обезопашена без потерь, пока компилер реально завтипово не протащит всю нужную инфу
ΑZ
ну эта структура, видимо, никак не может быть обезопашена без потерь, пока компилер реально завтипово не протащит всю нужную инфу
смотри
CD
смотрю
ΑZ
сишники молодцы
ΑZ
хорошая фича. Без завтипов такого не сделать чтобы вырезалось во время компиляции
CD
сишка просто отражает реалии внизу
ΑZ
но для этого есть ансейф версии которые ничего не чекают
С
ну эта структура, видимо, никак не может быть обезопашена без потерь, пока компилер реально завтипово не протащит всю нужную инфу
Я вот не понимаю, чего ты тогда до Жуковского докопался. В расте нет зависимых типов. Ну да, и с чем тут спорить?
ΑZ
собсна если в сишке не чекается в расте чекается то сравнение нечестное
ΑZ
не чекай и там и там
p
когда сделают возможность иметь много разных аллокаторов параллельно будет ещё проще
ахахахахаха
p
ахахаххаэ
ΑZ
Я вот не понимаю, чего ты тогда до Жуковского докопался. В расте нет зависимых типов. Ну да, и с чем тут спорить?
но в нем есть ансейф
CD
собсна если в сишке не чекается в расте чекается то сравнение нечестное
ну вызывать сишку удаленно можно, вопрос в том, что с точки зрения и ISO C++, и Rust этого всего нет
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
ΑZ
ну вызывать сишку удаленно можно, вопрос в том, что с точки зрения и ISO C++, и Rust этого всего нет
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
низкоуровнево без ансейфа на расте не написать почти ничего, это же очевидно
ΑZ
сраный split_at_mut требует ансейф, о чем речь