3 ms·
A lot of things in our daily lives are "unsafe by design"; just go to a kitchen and grab a knife; our common solution is to keep those things out of the hands o
by Rochus 2y ago
A lot of things in our daily lives are "unsafe by design"; just go to a kitchen and grab a knife; our common solution is to keep those things out of the hands of children until they have learned to safely use it.
Concerning an IDE: you vision apparently doesn't reach far enough; imagine AI tools which are able to understand both, the requirements and the code, and are able to recognize logic deviations and other unmitigated risks. Btw. Rust is far from "actually-safe"; it helps avoid some memory issues (not all), but there is still a wide range of possibilities to create safety issues, even in Rust.
- acdha 2y agoC isn’t unsafe like a kitchen knife, it’s unsafe like a folding knife with a hinge which collapses while you’re using it. We’ve been saying programmers need to be better for decades but it’s not just skill but also the undefined behavior, unsafe APIs, and backwards compatibility which have made that much less successful than hoped. Now, the techno-mysticism will eventually become true when we get the AGI you describe but that’s both far beyond what we have now and would immediately raise the question of whether it’d be effort better spent migrating to a less poorly-designed language.