What is Expressiveness in a Computer Language

[Jürgen Exner]

Scott David Daniels wrote:
> 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."

They are certainly off topic in CLPM.

jue