Robert Dewar wrote:>> The issue in hard real-time is of course not efficiency but> predictability and removal of non-determinism. That's a little bit> different. I agree that for general programming, GC is highly> desirable (it is for me a fundamental dividing line between low and> high level languages).

And, of course, the other issue in _safety-critical_ hard real-time
systems is being able to verify the safety and reliability of the
algorithm. We have enough trouble verifying Ada 83 code after
removing tasking and exception handling (at least, the parts we can
remove).
--