From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Real OO (was Choice of OO primitives in Ada95)
Date: 1996/02/22
Date: 1996-02-22T00:00:00+00:00 [thread overview]
Message-ID: <dewar.824966245@schonberg> (raw)
In-Reply-To: Dn5qGH.9xH@assip.csasyd.oz
Don says
"Note that Ada only fully satisfies 2) and has a sub-optimal mechanism for 1)."
Well that's no more than an opinion, you provide no objective criterion to
justify this opinion. In fact I think that Ada 95 satisfies 1) more
convincingly than Eiffel. This has been discussed many times on this news
group, and I don't particularly have anything to add to those previous
discussions, I think it has all been said before!
The value of executable assertions has been hotly debated. To regard them
as an essential part of OO programming seems odd to me, but of course
people are free to say "x is essential for OO in my view" for almost
any X (and all sorts of x's have been suggested). One trouble with
executable assertions is that they are at the wrong level of abstraction,
since they are confined to be at the semantic level of the language, and
generally you want to talk about abstractions at a higher level.
next prev parent reply other threads:[~1996-02-22 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <DMqHqF.9F1.0.-s@inmet.camb.inmet.com>
[not found] ` <DMu9yw.5ts@assip.csasyd.oz>
[not found] ` <4g2f8v$15lc@watnews1.watson.ibm.com>
1996-02-19 0:00 ` Choice of OO primitives in Ada95 Don Harrison
1996-02-19 0:00 ` Robert A Duff
1996-02-20 0:00 ` Don Harrison
1996-02-20 0:00 ` Ray Toal
1996-02-21 0:00 ` Don Harrison
1996-02-23 0:00 ` Robert A Duff
1996-02-22 0:00 ` Bernd Holzmueller
1996-02-23 0:00 ` Robert A Duff
1996-02-20 0:00 ` Jon S Anthony
1996-02-22 0:00 ` Real OO (was Choice of OO primitives in Ada95) Don Harrison
1996-02-22 0:00 ` Jon S Anthony
1996-02-22 0:00 ` Robert Dewar [this message]
1996-02-23 0:00 ` Gene Ouye
1996-02-26 0:00 ` James O'Connor
1996-02-26 0:00 ` Gene Ouye
1996-02-24 0:00 ` Valery Croizier
1996-02-24 0:00 ` Robert A Duff
1996-02-26 0:00 ` Don Harrison
1996-02-26 0:00 ` Matthew B. Kennel
1996-02-26 0:00 ` So called Real OO (was blah blah blah...) Jon S Anthony
1996-02-23 0:00 ` Choice of OO primitives in Ada95 Robert A Duff
1996-02-19 0:00 ` Norman H. Cohen
1996-02-21 0:00 ` Robert I. Eachus
1996-02-21 0:00 ` John DiCamillo
1996-02-22 0:00 ` Don Harrison
1996-02-24 0:00 ` Robert A Duff
1996-02-22 0:00 Real OO (was Choice of OO primitives in Ada95) Jean-Pierre Rosen
1996-02-22 0:00 ` Valery Croizier
1996-02-24 0:00 ` Robert A Duff
1996-02-22 0:00 ` Matt Kennel
1996-02-23 0:00 ` Robert A Duff
1996-02-22 0:00 ` Spencer Allain
1996-02-23 0:00 ` Jon S Anthony
[not found] <Do7unJ.1sq@world.std.com>
1996-03-15 0:00 ` Don Harrison
[not found] <Do7uyC.4K2@world.std.com>
1996-03-15 0:00 ` Don Harrison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox