172 похожих чатов

16 ответов

34 просмотра

https://lmgtfy.app/?q=why+use+rust

безопасный системный яп с минимальным рантаймом - живых альтернатив этому не много

Yuriy Zymlex
а какие живые?

c/c++ никуда не делись

Yuriy Zymlex
а какие живые?

лично не знаком, но про ada/spark в этом контексте вспоминают часто, например

Сергей-Loguntsov Автор вопроса
kitsu
https://lmgtfy.app/?q=why+use+rust

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 —- нет результатов )

kitsu
c/c++ никуда не делись

тут с частью про "безопасный" все сильно сложнее уже

kitsu
c/c++ никуда не делись

Безопасностью там и не пахло, конечно

Yuriy Zymlex
а какие живые?

Zig, nim. Хотя насколько они безопасные и живые трудно сказать

Jøhn Đøꝩsøn
Zig, nim. Хотя насколько они безопасные и живые тр...

зиг не сильно про безопасность. нимрод чуть более, но и на рантайм он сильнее опирается

ozkriff🇺🇦 Lesnikóv
тут с частью про "безопасный" все сильно сложнее у...

Ну есть какие-нибудь формальные методы, которые позволяют чистую сишку "подтянуть" до нужного уровня, а также с десяток стат.аналайзеров и новые стандарты (про плюсы) которые немного защищают ноги. До раста конечно далеко (в случае верификации временем разработки как минимум), но все же можно получить какой-то не совсем ногострельный вариант.

kitsu
Ну есть какие-нибудь формальные методы, которые по...

конечно, я по работе сам с этими штуками по касательной пересекаюсь. поэтому и говорю "сложнее", а не "вообще никак"

kitsu
Ну есть какие-нибудь формальные методы, которые по...

Ну так в принципе можно и ассемблер верифицировать, но это ведь не делает его безопасным методом программирования.

во всем хорошо, очень универсальный язык хочешь микросервис пиши хочешь базу данных пиши хочешь васм хочешь нифку суперский тулинг, rebar/mix рядом не стоят (видел обсуждение в эрланговом чате) библиотек годных становится все больше

Erlang! Мое увожение!

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта