3 ms·
Minor nit-pick. I work around (but not with) ada code, and a common pattern is that if you can get your ada code to compile; it's pretty likely that it's safe.
by cconstantine 18y ago
Minor nit-pick. I work around (but not with) ada code, and a common pattern is that if you can get your ada code to compile; it's pretty likely that it's safe.
If you're just saying Ada doesn't guarantee that the program does what you really need... no language can do that.
C is the 2nd most unsafe language I've worked with, asm being the first.
- prospero 18y agoIf you're just saying Ada doesn't guarantee that the program does what you really need... no language can do that. That was basically my point. I agree Ada's pretty cool, but Dewar listed Ada and C (!) as the only two languages suitable for safety-critical systems. I mean, really. What does one say to that.
- cconstantine 18y agoThat was poorly worded. I meant to end that sentence by saying I agree with you :/ What does one say to someone who is using C because it's suitable for safety-critical systems? Please don't!