Re: Rust kernel policy

[Martin Uecker]

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