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.
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
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
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.
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.
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
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