Re: Rust kernel policy

Martin Uecker
2025-02-23T08:11:02Z

Am Sonntag, dem 23.02.2025 um 00:42 +0100 schrieb Piotr Masłowski:
> On Thu Feb 20, 2025 at 9:57 AM CET, Martin Uecker wrote:
...
>
> Oh, and once again: I am sure you knew all of this. It's just that a lot
> of people reading these threads think adding a few annotations here and
> there will be enough to achieve a similar level of safety | robustness
> as what newly-designed languages can offer.

I have been looking at programming languages, safety,
and type theory for a long time, even before Rust existed.
I heard all these arguments and I do not believe that we
need (or should use) a newly-designed language.

(Of course, adding annotations would not usually be enough,
one often would have to refactor the code a bit, but if
it is already well designed, not too much)

But while I would love discussing this more, I do not
think this is the right place for these discussion nor
would it be insightful in the current situation.

In any case, there is so much existing C code that
it should be clear that we also have to do something
about it. So I do not think the question is even that
relevant.

Martin