What is Expressiveness in a Computer Language

[Joachim Durchholz]

Andreas Rossberg schrieb:
> AFAICT, ADT describes a type whose values can only be accessed by a 
> certain fixed set of operations. Classes qualify for that, as long as 
> they provide proper encapsulation.

The first sentence is true if you associate a semantics (i.e. axioms) 
with the operations. Most OO languages don't have a place for expressing 
axioms (except via comments and handwaving), so they still don't fully 
qualify.

Regards,
jo