Chris F Clark wrote: > > A static > type system eliminates some set of tags on values by syntactic > analysis of annotations (types) written with or as part of the program > and detects some of the disallowed compuatations (staticly) at compile > time.
Explicit annotations are not a necessary ingredient of a type system, nor is "eliminating tags" very relevant to its function. - Andreas -- http://mail.python.org/mailman/listinfo/python-list
