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 -- http://mail.python.org/mailman/listinfo/python-list
