https://lmgtfy.app/?q=why+use+rust
безопасный системный яп с минимальным рантаймом - живых альтернатив этому не много
c/c++ никуда не делись
лично не знаком, но про ada/spark в этом контексте вспоминают часто, например
https://lmgtfy.app/?qtype=search&t=w&segment=lmgtfy2&is_ad=0&gclid=&q=why+use+rust&as=0&engine=&media_type=#gsc.tab=0&gsc.q=why%20use%20rust&gsc.page=1 —- нет результатов )
тут с частью про "безопасный" все сильно сложнее уже
Безопасностью там и не пахло, конечно
Zig, nim. Хотя насколько они безопасные и живые трудно сказать
зиг не сильно про безопасность. нимрод чуть более, но и на рантайм он сильнее опирается
Ну есть какие-нибудь формальные методы, которые позволяют чистую сишку "подтянуть" до нужного уровня, а также с десяток стат.аналайзеров и новые стандарты (про плюсы) которые немного защищают ноги. До раста конечно далеко (в случае верификации временем разработки как минимум), но все же можно получить какой-то не совсем ногострельный вариант.
конечно, я по работе сам с этими штуками по касательной пересекаюсь. поэтому и говорю "сложнее", а не "вообще никак"
еще к этому комменту было
Ну так в принципе можно и ассемблер верифицировать, но это ведь не делает его безопасным методом программирования.
во всем хорошо, очень универсальный язык хочешь микросервис пиши хочешь базу данных пиши хочешь васм хочешь нифку суперский тулинг, rebar/mix рядом не стоят (видел обсуждение в эрланговом чате) библиотек годных становится все больше
Erlang! Мое увожение!
Обсуждают сегодня