> But it can be useful to restrict type variety in certain situations > e.g. prime number calculation :) And it would probably also be useful > to check violations of restrictions before running the program in > normal mode.
But that's what (oca)ml and the like do - they exactly don't force you to specify a type, but a variable has an also variable type, that gets inferned upon the usage and is then fixed. -- Regards, Diez B. Roggisch -- http://mail.python.org/mailman/listinfo/python-list
