Thank you very much for reminding me. I have been sloppy. It should have said static type checking.
ciao Skip Montanaro wrote: > >> Eiffel (language) has both type checking and design by contract. > >> Python lacks both. > > Actually, Python is strongly typed. It's just dynamically instead of > statically typed. > > Skip -- http://mail.python.org/mailman/listinfo/python-list