https://www.opennet.ru/openforum/vsluhforumID3/139235.html Дрю ДеВолт (Drew DeVault), автор пользовательского окружения Sway, почтового клиента Aerc и платформы совместной разработки SourceHut, опубликовал выпуск языка программирования Hare 0.26.0. Hare преподносится как язык системного программирования, близкий к языку Си, но проще, чем Си. Исходный код компилятора и инструментария распространяются под лицензией GPLv3, а код стандартной библиотеки под лицензией MPL (Mozilla Public License)...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=64794<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#147 Fri, 20 Feb 2026 06:58:23 GMT &gt;Опять фантазии. Во-первых, сишный код не отображается на ассемблер напрямую, как минимум из-за UB, которая может в любой момент его исказить до неузнаваемости. Во-вторых, откуда вы придумали про поэму? Вы опять не понимаете, как раст с абстракиями работает?<br><br>В си есть флаги и ключевые слова, которые позволяют впрямую транслировать, а вот что делает компилятор раста - ты никогда мне не расскажешь, т.к. по факту он твою "поэму" транслирует "полностью на свое усмотрение"...<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#146 Thu, 19 Feb 2026 19:38:03 GMT &gt;&gt;Airbus использует(зовал), например.<br>&gt; То, что полторы компании в коммерческой разработке, может быть, используют, ни о <br>&gt; чём не говорит.<br><br>Больше. Вообще ты скатился к обсуждению в другое русло. Тебе говорят, что инструменты есть, а ты дальше что-то бормочишь невнятное...<br><br>&gt;&gt;Видимо удалили <br>&gt; Ха, ха, ха. Я прав.<br><br>В чем? Инструмент есть и используется.<br><br>&gt;&gt;PVS is also prone to give false warnings which creates a lot of work to <br>&gt; identify and disable.<br>&gt; Сращу видно, что пишут настоящие сишники. Любой хороший анализотор неизбежно будет давать <br>&gt; ложные срабатывания, поскольку у си слишком слабая система типов, чтобы можно <br>&gt; было прямо в коде доказать это.<br><br>Бред не неси. Они оставили другой анализатор. Все анализаторы дают ложные срабатывания. <br><br>&gt;&gt;В компиляторе.<br>&gt; Нужно вручную каждый проект протыкивать, мне лень. Но всё равно можно будет <br>&gt; найти проекты без этого.<br><br>И? Можно найти протекты на расте без анализаторов, а потом баги вылазят.<br><br>&gt;&gt;В rust в unsafe все те же самые проблемы <br>&gt; Вам https://www.opennet.ru/openforum/vsluhforumID3/139235.html#145 Thu, 19 Feb 2026 16:16:13 GMT &gt;Допустим автомат DMA хочет адрес (как u32 или u64) в физической памяти.<br><br>Зачем компилятору нужен DMA? DMA будет не в компиляторе, а в бинарнике, произведённом данным компилятором.<br>&gt;Можно посмотреть на примере Linux kernel<br><br>С каких пор linux стал компилятором?<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#144 Thu, 19 Feb 2026 16:13:55 GMT &gt;Airbus использует(зовал), например.<br><br>То, что полторы компании в коммерческой разработке, может быть, используют, ни о чём не говорит.<br>&gt;Видимо удалили<br><br>Ха, ха, ха. Я прав.<br>&gt;PVS is also prone to give false warnings which creates a lot of work to<br><br>identify and disable.<br>Сращу видно, что пишут настоящие сишники. Любой хороший анализотор неизбежно будет давать ложные срабатывания, поскольку у си слишком слабая система типов, чтобы можно было прямо в коде доказать это.<br>&gt;В компиляторе.<br><br>Нужно вручную каждый проект протыкивать, мне лень. Но всё равно можно будет найти проекты без этого.<br>&gt;В rust в unsafe все те же самые проблемы<br><br>Вам слово unsafe о чём-то говорит? В расте вы можете ограничить количество unsafe. В си у вас весь код unsafe.<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#142 Tue, 17 Feb 2026 19:03:22 GMT &gt;&gt; О да, сейчас бы сравнивать язык с gc и рантаймом с языком без. Это прям уровень экспертизы.<br>&gt; Согласен.<br>&gt; Анон просто позорит раст своими знаниями.<br>&gt; Надо было сравнивать с Ada, а еще лучше Ada-Spark.<br>&gt; Но у нее есть недостаток - нельзя взять безмозглую бибизянку и надрессировать кастить к void* если типы не сходятся.<br><br>https://pvs-studio.ru/ru/blog/posts/cpp/0426/<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#141 Tue, 17 Feb 2026 19:00:22 GMT &gt;&gt;Есть frama-c <br>&gt; Где есть? В hello world-ах?<br><br>Airbus использует(зовал), например.<br><br>&gt;&gt;используют, например в neovim <br>&gt; Используется где? Вы приводите конкретную строку в репозитории, а то как-то не <br>&gt; хочется в монструозных сборочных скриптах копаться. А то вы уже про <br>&gt; ключи компиляции писали, что они есть.<br><br>Видимо удалили https://github.com/neovim/neovim/pull/25535 Ранее использовался https://github.com/neovim/neovim/pulls?page=1&q=is%3Apr+pvs+is%3Aclosed<br><br>&gt;&gt;ubsan есть <br>&gt; Аналогично - есть где?<br><br>В компиляторе.<br><br>&gt;&gt;О да, сейчас бы сравнивать язык с gc и рантаймом с языком без.<br>&gt; Мне перечислять вам все язык с ADT? Возьмите Rust, есть хотите без <br>&gt; сборщика мусора.<br><br>В rust в unsafe все те же самые проблемы https://doc.rust-lang.org/beta/unstable-book/compiler-flags/sanitizer.html<br><br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#140 Tue, 17 Feb 2026 18:03:46 GMT &gt;Надо было сравнивать с Ada, а еще лучше Ada-Spark.<br><br>https://www.reddit.com/r/ada/comments/mme3jk/is_ada_memory_safe/<br>&gt;Double free - possible if there are dangling references.<br><br>И куча подобных моментов. Спасибо, си уже существует.<br>&gt;- они на своем сайте стравнивают Аду с растом и дырявыми<br><br>Зачем вы ссылаетесь на рекламный буклет? Для сравнения, в статье должны быть хоть какие-то примеры кода, а их нет. Или хотя-бы гиперссылки.<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#139 Tue, 17 Feb 2026 17:48:45 GMT &gt;Есть frama-c<br><br>Где есть? В hello world-ах?<br>&gt;используют, например в neovim<br><br>Используется где? Вы приводите конкретную строку в репозитории, а то как-то не хочется в монструозных сборочных скриптах копаться. А то вы уже про ключи компиляции писали, что они есть.<br>&gt;ubsan есть<br><br>Аналогично - есть где?<br>&gt;О да, сейчас бы сравнивать язык с gc и рантаймом с языком без.<br><br>Мне перечислять вам все язык с ADT? Возьмите Rust, есть хотите без сборщика мусора.<br> https://www.opennet.ru/openforum/vsluhforumID3/139235.html#137 Tue, 17 Feb 2026 16:17:56 GMT &gt; О да, сейчас бы сравнивать язык с gc и рантаймом с языком без. Это прям уровень экспертизы.<br><br>Согласен.<br>Анон просто позорит раст своими знаниями.<br><br>Надо было сравнивать с Ada, а еще лучше Ada-Spark.<br>Которая была сделана руками (чтобы получить возможность называть свою поделку копилятором языка Ада, нужно было пройти 1000+ тестов безошибочно!), а не причинным местом как СИшка.<br>И позволяет конрактами и системой типов избавиться от типичных проблем дыряшки.<br><br>Но у нее есть недостаток - нельзя взять безмозглую бибизянку и надрессировать кастить к void* если типы не сходятся.<br><br>Что забавно:<br>- они стали Silver Member в Rust Foundation<br>adacore.com/press/adacore-joins-rust-foundation-as-silver-member<br><br>- они на своем сайте стравнивают Аду с растом и дырявыми<br>adacore.com/blog/should-i-choose-ada-spark-or-rust-over-c-c<br><br><br><br>