CD
сама по себе структура очень забавна, кстати
Size: a a a
2020 August 31
CD
задает интересный вопрос о принципе Лисков и массивах
ΑZ
ну вызывать сишку удаленно можно, вопрос в том, что с точки зрения и ISO C++, и Rust этого всего нет
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
unsafe Rust в части "я просто С" можно не брать в расчет - с тем же успехом питон низкоуровневый, может же сишку дернуть
unsafe Rust это все тот же раст если что
С
но в нем есть ансейф
Для rust же есть наверняка подобие Frama-C, и можно верифицировать unsafe, если очень хочется
ΑZ
а то царизмы пошли
ΑZ
"спиздили у ллвм"/"нечестно вызывать ансейф"
ΑZ
Для rust же есть наверняка подобие Frama-C, и можно верифицировать unsafe, если очень хочется
ну есть MIRI, в целом неплохо
CD
"спиздили у ллвм"/"нечестно вызывать ансейф"
не, просто unsafe Rust в части "ну я тут просто Си" странно называть растом
CD
его следует называть Си
ΑZ
не, просто unsafe Rust в части "ну я тут просто Си" странно называть растом
ансейф раст это тот же раст + пара операций над указателями
p
чето кекнул, хитман которую выпустили в мае этого кода сейчас бесплатно раздают
ΑZ
если для тебя это си - то ок, раст это си
ΑZ
но я так не считаю
ΑZ
анейса даже в низкоуровневом коде будет сильно меньше половины
ΑZ
можно посмотреть на примере эмбеда какого-нибудь
CD
если для тебя это си - то ок, раст это си
не "раст это си", просто непонятно, в чем разница между питоном который дергает си, C++ который дергает си, Rust который дергает си и Rust который обращается в unsafe
CD
когда в unsafe нет ничего, кроме обычного си
p
не "раст это си", просто непонятно, в чем разница между питоном который дергает си, C++ который дергает си, Rust который дергает си и Rust который обращается в unsafe
Rust который обращается в ансейф это просто вызов функции рядом лежащей
p
То есть никакого оверхеда в виде разных файлов или рантаймового оверхеда ннт
ΑZ
не "раст это си", просто непонятно, в чем разница между питоном который дергает си, C++ который дергает си, Rust который дергает си и Rust который обращается в unsafe
разница в простоте