[EMAIL PROTECTED] wrote: > Huh? There is a huge, fundamental difference: namely whether a type > system is sound or not. A soundness proof is obligatory for any serious > type theory, and failure to establish it simply is a bug in the theory.
So you claim Java and Objective C are "simply bugs in the theory." --Scott David Daniels [EMAIL PROTECTED] -- http://mail.python.org/mailman/listinfo/python-list
