"Diez B. Roggisch" <[EMAIL PROTECTED]> writes: > > Come on, this is real-time embedded software, > Since when did we restrict ourselves to such an environment? I was under the > impression that this thread is about the merits and capabilities of static > type-checking?
One branch of the discussion brought up Spark Ada, and I think the cited article said they used the Ravenscar profile, which means embedded applications. > No, I don't buy that. As I said before: for the most trivial of > tasks that might be a good thing. But I'm not convinced that > restricting one self in such a manner for more complex tasks isn't > going to be a better development path. There are applications where you care first and foremost about the reliability of the end result, and accept whatever difficulty that might cause for the development path. Not all programming is Visual Basic. -- http://mail.python.org/mailman/listinfo/python-list