Category talk:SPARK
Type Safety and run-time errors
Although I am not doubting that type safety checks can check for some types of errors that might occur at runtime, I am not sure that this is the same as saying that it assures there are no runtime errors. Errors that occur at run time might include for example:
- Timing errors.
- Randomly induced errors from hardware glitches.
- Resource allocation errors.
- ...
But assuming instant, exact, and infinite resources, then type checking might suffice (also assuming that you can work with the expressiveness of the language). --Paddy3118 01:31, 14 September 2010 (UTC)
(P.S. I am embarking on a journey down the path of safety critical systems where I'm currently thinking everything fails, you just have to work out to what degree we should guard against).