Paul Rubin wrote: > So where are the complex templates and dangerous void pointers in ML?
You're right about that of course. There aren't any templates or pointers in COBOL either as far as I know, and COBOL has been used for lots of real world code (which ML hasn't). I don't know what your point is though. Sure, Python could have Perl-like declarations, where you just state that you intend to use a particular name, but don't declare its type. I don't see any harm in that. Type declarations or inferred types would, on the other hand, make Python considerably less dynamic, and would probably bring the need of additional featurs such as function overloading etc. -- http://mail.python.org/mailman/listinfo/python-list
