"Russ P." <[EMAIL PROTECTED]> writes: > You might want to check into what the FAA allows in "flight-critical" > code, for example. I am certainly not an expert in that area, but I've > had a passing exposure to it. My understanding is that every possible > branch of the code must be fully and meticulously analyzed and > verified. Hence, the dynamic dispatching of ordinary object-oriented > code is either prohibited or severely frowned upon.
This would also seem to impact higher-order functions, which are prominent in fancy verification systems based on extracting code from constructive theorem provers. I know those things are used in some sensitive security applications. I wonder what the aerospace community thinks of that area. -- http://mail.python.org/mailman/listinfo/python-list
