A
условно "перепишут на расте"
Size: a a a
2021 May 23
F
Хорошо бы
A
я вот действительно не знаю, зачем сейчас что-либо начинать писать на си, если с помощью раста можно получить такой бинарник, который будет ровно таким же в местах где "все проверено и нужна производительность", но гораздо более безопасным в местах где "это не так существенно, мы там чот наваяли"
A
плюсы туда же на самом деле
A
в смысле "зачем плюсы, когда есть раст"
F
Я не видел ансейф раста, не знаю
A
я видел случаи, когда некоторый плюсовый код падал с ошибкой в рантайме, а на расте бы она бы вылетела в компайл тайме.
F
Если он полностью повторяет по возможностям си, хорошо
A
уже вот за это можно любить борроу чекер
F
Есть видео, если будут силы
F
Watch "Rant: Entity systems and the Rust borrow checker ... or something." on YouTube
https://youtu.be/4t1K66dMhWk
https://youtu.be/4t1K66dMhWk
F
Там на конференции женщина достаточно долго рассказывала как она обманывала этот борроу чеккер, чтобы сделать то, как она хотела
A
ну если надо обманывать бороу чеккер, то для этого и есть unsafe. Я пока не сталкивался с особо сложным растом, но у меня есть мнение, что если борроу чекеру не нравится то, что ты творишь, то это значит что твоя идея потенциально опасна. Ну или баг в борроу чекере, увы.
A
плюс я знаю, что в расте есть всякие интересности в виде Box, Arc и всякие Cow, но я до этого еще не дорос.
¥
так вроде в стдлибе раста референс каунтер обманывает боров чекер просто чтобы работать
A
ну собственно в этом и смысл же - нет особой разницы межде указателем и ссылкой, но при этом если навязать тот набор ограничений, которые их различают, то внезапно жить с со ссылками становится безопаснее, чем указателями.
A
так что борроу чекер это такой может быть очень строгий набор правил, но он защищает от очень большого набора проблем. Другое дело, что в некоторых местах можно все равно сделать все безопасно, но чтобы объяснить борроу чекеру, что это безопасно, надо очень сильно усложнять правила. Вот поэтому и появляется аккуратный ансейф
¥
а потом на тебя всё комунити раста летит с криками убрать ансейф