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."
Java's type system was unsound for much of its life. I think that supports the point that it's inadequate to simply "wish and hope" for soundness, and that a proof should be insisted on. -- David Hopwood <[EMAIL PROTECTED]> -- http://mail.python.org/mailman/listinfo/python-list