Python for air traffic control?

[Methodical Meowbot]

18k11tm001 at sneakemail.com (Russ) wrote:

> I am thinking about using Python for a unique safety-critical
> application in air traffic control.

Software like that would seem to be begging for a language with some
formal validation behind it, like Ada.  With Python, you would have to
reinvent and implement that part of the process yourself, and that
doesn't seem like very much fun at all.