Flying With Python (Strong versus Weak Typing)

[Mike Silva]

laotseu <bdesth at removethis.free.fr> wrote in message news:<3E6E9E4E.50405 at removethis.free.fr>...
> 
> Second thing :
> Ariane crashed because of a bug in an ADA module. ADA is very strongly 
> *and* statically typed.

This is not correct.  There was no bug in the software, it performed
exactly as designed.  The problem was a combination of brittle design
(single point failure) and improper code reuse.  To claim there was a
bug is akin to changing a 5 Amp circuit to a 10 Amp circuit, and then
blaming the 6 Amp fuse when it blows.
> 
> Conclusion : your question doesn't make any sens, and the answer won't 
> help you. Choose whatever language seems the most suited for the task, 
> and test, test, test, and then test again.

Test, test, test and then test again will, by itself, never be
suitable for safety-critical applications.

Mike