4 ms·
Ada already does something like this. You can choose whether to enable runtime checks, fail to compile, or accept the risk. The purpose of C is to be easy to i
by marmetio 4y ago
Ada already does something like this. You can choose whether to enable runtime checks, fail to compile, or accept the risk.
The purpose of C is to be easy to implement on new systems. You're never going to get a lot of traction adding anything to C proper.
- gpderetta 4y ago> Ada already does something like this. You can choose whether to enable runtime checks, fail to compile, or accept the risk. It is ok, the accelerometer readings won't go outside the range of an int.
- marmetio 4y agoI think it's silly to tell people what to do when you don't know what they're doing. For all you know, they could be generating code from a design tool that already does that static analysis. What's nice about Ada is you have choices, and the ecosystem facilitates creating and using such tooling.
- gpderetta 4y agoI wasn't trying to say anything deep. It was just a reference to the Arianne 5 disaster.
- marmetio 4y agoI know what you're referencing, but it's not obvious to people who don't already know about it. And in a way, I think you did say something deep. Web developers often have no idea that problems like this were solved a long time ago, and it lowers their expectations for what should be possible with the tools of their industry.