LINUX.ORG.RU

Fil-c: Rust killer

 , , ,


1

3

https://fil-c.org/

Видево: https://www.youtube.com/watch?v=6Maoe-GMynM

Ъ:

Fil-C — a memory safe implementation of the C and C++ programming languages you already know and love.

Key Features:

Memory Safety: Advanced runtime checks to prevent exploitable memory safety errors. Unlike other approaches to increasing the safety of C, Fil-C achieves complete memory safety with zero escape hatches.

C and C++ Compatibility: Your C or C++ software most likely compiles and runs in Fil-C with zero changes. Many open source programs, including CPython, OpenSSH, GNU Emacs, and Wayland work great in Fil-C. Even advanced features like threads, atomics, exceptions, signal handling, longjmp/setjmp, and shared memory (mmap style or Sys-V style) work. It’s possible to run a totally memory safe Linux userland, including GUI, with Fil-C.

Modern Tooling: Compiler is based on a recent version of clang (20.1.8), supports all clang extensions, most GCC extensions, and works with existing C/C++ build systems (make, autotools, cmake, meson, etc).

Принёс на ЛОР.

Нужна ли борьба с borrow checker? Или продолжаем страдать от ЦеПеПе?

Известны ли уже CVS с ошибками в unsafe блоках?

★★★★

Последнее исправление: hobbit (всего исправлений: 1)
Ответ на: комментарий от anonymous

ты теперь утверждаешь

То, что сишные ISO-стандарты (кроме C89) - плод графомании не особо компетентных личностей, и то что не следует их принимать за истину в последней инстанции, я утверждаю очень давно. C89 тут исключение: его не «сочиняли» комитетчики, это была по сути обзорная статья на тему текущего положения дел Си-компиляторов - она отражала уже имевшуюся реальность, а не чьи-то фантазии на будущее.

твоё толкование Си – единственно правильное

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

то чем руководствуются авторы компиляторов

Авторы компиляторов руководствуются полезностью новых фич, а не ISO-стандартами. Конкретно в случае с VLA, как я уже выше писал, они эту бесполезную ерунду вообще проигнорировали настолько, что комитетчикам пришлось, чтобы не совсем потерять лицо, объявить VLA опциональной штукой в следующем своём издании спустя 12 лет. Со временем в компиляторах эту штуку таки реализовали - ну, видимо нашлось у кого-то лишнее время, но отношение к содержанию стандарта тут очевидно.

firkax ★★★★★
()
Последнее исправление: firkax (всего исправлений: 1)