From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: OO puzzle
Date: 2000/01/02
Date: 2000-01-02T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.4.21.0001020832580.2498-100000@shell5.ba.best.com> (raw)
In-Reply-To: 386CFDEB.946C3336@shadow.net
On Fri, 31 Dec 1999, Jeffrey L Straszheim wrote:
> Brian Rogoff wrote:
> > This is really not the same, as Ada subtypes aren't like Eiffel
> > subclasses. Its more appropriate to compare Ada subtypes with
> > array bounds checking and the like.
>
> Of course it's not the same: no two different things are ever the
> same.
Yes, so you should compare similar features in the two languages. The
analogous problem in Eiffel is that you don't know that you'll get a
precondition violation at run time. Range constraints are like a
degenerate form of precondition. It isn't useful to compare them to
Eiffel's broken covariance.
> So, here is my point: catcalls are one area where Eiffel lets
> its programmers shoot themselves in the foot. There are a few others,
> namely the subclassing rules for generics (yuck), but all in all
> I've found these problems easy to avoid, more so than avoiding,
> say, buffer problems in C. I'm just learning Ada now, so I have
> limited experience with it, but I suspect that I won't have problems
> with its "gotchas" either. At least it seems so at first glance.
Ada has its share of "gotchas", but IME most are just annoying
restrictions telling me I can't do something, rather than silently
watching me do something stupid.
-- Brian
next prev parent reply other threads:[~2000-01-02 0:00 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-22 0:00 OO puzzle Ehud Lamm
1999-12-22 0:00 ` Jeff Carter
1999-12-22 0:00 ` Ted Dennison
1999-12-23 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Robert A Duff
1999-12-25 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Ted Dennison
1999-12-25 0:00 ` Ehud Lamm
1999-12-22 0:00 ` Tucker Taft
1999-12-23 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Robert Dewar
1999-12-23 0:00 ` Ehud Lamm
1999-12-24 0:00 ` swhalen
1999-12-25 0:00 ` Ehud Lamm
1999-12-25 0:00 ` Ehud Lamm
1999-12-29 0:00 ` Brian Rogoff
1999-12-30 0:00 ` Jeffrey L Straszheim
1999-12-31 0:00 ` Brian Rogoff
1999-12-31 0:00 ` Jeffrey L Straszheim
2000-01-02 0:00 ` Brian Rogoff [this message]
2000-01-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox