What is Expressiveness in a Computer Language
Scott David Daniels
scott.daniels at acm.org
Sun Jun 25 12:53:53 EDT 2006
rossberg at ps.uni-sb.de 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
scott.daniels at acm.org
More information about the Python-list
mailing list