optional static typing for Python

[Paul Rubin]

"Russ P." <Russ.Paielli at gmail.com> 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.