David Hopwood wrote: > Chris F Clark wrote: > >>I'm particularly interested if something unsound (and perhaps >>ambiguous) could be called a type system. > > Yes, but not a useful one. The situation is the same as with unsound > formal systems; they still satisfy the definition of a formal system.
I meant "inconsistent formal systems". -- David Hopwood <[EMAIL PROTECTED]> -- http://mail.python.org/mailman/listinfo/python-list
