161
submitted 11 months ago by cm0002@lemmy.world to c/linux@programming.dev
you are viewing a single comment's thread
view the rest of the comments
[-] FizzyOrange@programming.dev 11 points 11 months ago

[memory safety] is a more or less solved research problem

I don't know if I would go that far. There are some interesting alternative approaches to Rust's borrow checker that might turn out to be better. There's definitely more research that can be done.

But we do have at least one solution that works very well.

[-] Hugin@lemmy.world 3 points 11 months ago

The nice thing is if a much better solution exists then a rust compiler that uses it can be implemented using it. Then you don't have to rewrite all the rust code.

[-] FizzyOrange@programming.dev 5 points 11 months ago

No, the alternative solutions definitely wouldn't work with existing Rust code. You need a new language.

[-] sik0fewl@lemmy.ca 5 points 11 months ago
[-] Hugin@lemmy.world 1 points 11 months ago

If you don't code with undefined behavior compiler updates can apply to legacy code. I've been through enough compiler upgrades with microcontrollers that it's old hat.

[-] FizzyOrange@programming.dev 1 points 11 months ago

I'm talking about things like Perceus. It's not a compiler update.

this post was submitted on 11 Mar 2025
161 points (98.8% liked)

Linux

12131 readers
219 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago
MODERATORS