66
Microsoft wants to replace its entire C and C++ codebase, perhaps by 2030
(www.theregister.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 24 Dec 2025
66 points (92.3% liked)
Technology
83184 readers
1622 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related news or articles.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
As if AI could handle the mountains of checks Rust has you account for.
AI: This is unsafe. This is also unsafe. This third one? Unsafe.
While I agree that I don't think that an LLM is going to do the heavy lifting of making full use of Rust's type system, I assume that Rust has some way of overriding type-induced checks. If your goal is just to get to a mechanically-equivalent-to-C++ Rust version, rather than making full use of its type system to try to make the code as correct as possible, you could maybe do that. It could provide the benefit of a starting place to start using the type system to do additional checks.
I'm my experience, LLMs are especially bad at Rust. They really don't seem to grasp the borrow checker.