Post #1750810
2025-12-25 00:11 UTC
> Plans move to Rust, *with help from AI*
As if AI could handle the mountains of checks Rust has you account for.
Replies (3)
-
@a_non_monotonic_function@lemmy.world 2025-12-25 00:43
AI: This is unsafe. This is also unsafe. This third one? Unsafe.
-
@tal@lemmy.today 2025-12-25 03:04
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.
-
@vala@lemmy.dbzer0.com 2025-12-26 03:09
I'm my experience, LLMs are especially bad at Rust. They really don't seem to grasp the borrow checker.