While I agree that would solve much of the motivation behind rewriting in rust, I don't think it would bring many of the rust-enthusiasts over to C. For me at least, the killer feature of rust is having a modern tooling and language with proper library management, functional stuff in the language and one language standard everyone agrees upon.

[–] Kushan@lemmy.world 14 points 5 days ago (1 children)

I don't think it's about bringing rust enthusiasts to C, it's about the fastest way to bring more safety to the entire ecosystem.

I'm not convinced it's possible with just annotations, mind.

[–] pheggs@feddit.org 1 points 5 days ago

It is possible, it would bring in quite a few restrictions though. The bigger problem I see is that it wouldn't be entirely clear as an end user whether a program is memory safe or not. However, this isn't the case with rust neither. Maybe some kind of certification would help

[–] pheggs@feddit.org 1 points 5 days ago

Yeah, I don't think there's anything wrong with coding in rust for people who like it. But I do think it's quite a bit of useless work that could be spent more wisely on new products instead of rewriting things that we already have