David Hopwood <[EMAIL PROTECTED]> wrote: > 1 and 2 are easy enough. 3 to 5 are best expressed as assertions rather > than types.
One of us is missing the other's meaning here. If 3 to 5 were expressed as assertions rather than types, then the type system would become incomplete, requiring frequent runtime-checked type ascriptions to prevent it from becoming impossible to write software. That's not my idea of a usable language. -- Chris Smith - Lead Software Developer / Technical Trainer MindIQ Corporation -- http://mail.python.org/mailman/listinfo/python-list