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).