What is Expressiveness in a Computer Language

[David Hopwood]

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."

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 <david.nospam.hopwood at blueyonder.co.uk>