> FWIW, the "Eiffel and SPARK Ada folks" also "brilliantly explained" why > one can not hope to "write reliable programs" without strict static > declarative type-checking.
And they are probably right. I don't think you understand what they mean by "reliable programs." Any idea how much Python is used for flight control systems in commercial transport aircraft or jet fighters? How about ballistic missile launch and guidance systems? Any idea why? For the record, I think that DBS could possibly make Python more suitable for *some* mission-critical or perhaps even safety-critical applications, but it will never be able to compete with SPARK Ada or even Ada at the highest level of that domain. The important question is this: why do I waste my time with bozos like you? -- http://mail.python.org/mailman/listinfo/python-list
