Scott David Daniels wrote: > [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."
They are certainly off topic in CLPM. jue -- http://mail.python.org/mailman/listinfo/python-list
