From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: Manifesto against Vector
Date: Mon, 10 May 2004 08:49:30 +0200
Date: 2004-05-10T08:49:30+02:00 [thread overview]
Message-ID: <fv8n7c.c2t.ln@skymaster> (raw)
In-Reply-To: 8sQmc.11414$V97.6807@newsread1.news.pas.earthlink.net
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1475 bytes --]
"Jeffrey Carter" <spam@spam.com> a �crit dans le message de news:8sQmc.11414$V97.6807@newsread1.news.pas.earthlink.net...
> Jean-Pierre Rosen wrote:
> >
> > But you don't depend logically on something that you don't with. With
> > tagged types, you are really calling an implementation (in another
> > package) of something that you depend on - which is defined in a
> > package that you have withed.
>
> To my way of thinking, you depend on any types you may have objects of
> and anything you may invoke. A derived type is not the same type as its
> parent, nor are its operations the same as its parent's operations.
> Since type extension is a form of type derivation, I apply the same
> rules to type extension that I did to type derivation in Ada 83: the
> parent must be either a predefined type, or a type declared in the same
> declarative region as the child. Anything else quickly becomes unreadable.
>
But tagged types (OOP actually) is just about that: being able to add types later, without requiring recompiling existing modules
that use the class. I understand that you may not like that; in this case, just don't use tagged types. It was a very deliberate
decision to prevent tagged types from invading the whole language, precisely for this reason: they have no effect on people who
don't use them.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2004-05-10 6:49 UTC|newest]
Thread overview: 91+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-04 3:20 Manifesto against Vector Alexander E. Kopilovich
2004-05-04 16:30 ` chris
2004-05-04 17:19 ` Marius Amado Alves
2004-05-04 20:40 ` Peter C. Chapin
2004-05-04 20:58 ` Xenos
2004-05-07 8:05 ` Ranges in C++ Martin Krischik
2004-05-07 23:18 ` James Rogers
2004-05-08 6:45 ` Martin Krischik
2004-05-10 16:19 ` Xenos
2004-05-10 18:04 ` Martin Krischik
2004-05-10 19:03 ` Xenos
2004-05-11 5:59 ` Martin Krischik
2004-05-04 17:16 ` Manifesto against Vector Jeffrey Carter
2004-05-04 18:24 ` Marius Amado Alves
2004-05-04 19:17 ` Xenos
2004-05-04 19:53 ` Marius Amado Alves
2004-05-05 9:24 ` Georg Bauhaus
2004-05-05 5:28 ` Russ
2004-05-05 7:01 ` tmoran
2004-05-05 17:37 ` Martin Dowie
2004-05-06 3:42 ` Russ
2004-05-06 5:55 ` Martin Dowie
2004-05-06 7:03 ` Jean-Pierre Rosen
2004-05-06 9:29 ` Dmitry A. Kazakov
2004-05-06 9:41 ` Vinzent 'Gadget' Hoefler
2004-05-06 12:44 ` Dmitry A. Kazakov
2004-05-06 13:30 ` Vinzent 'Gadget' Hoefler
2004-05-06 14:35 ` Wes Groleau
2004-05-07 8:23 ` Dmitry A. Kazakov
2004-05-07 12:38 ` Vinzent 'Gadget' Hoefler
2004-05-09 20:34 ` Dmitry A. Kazakov
2004-05-10 8:26 ` Vinzent 'Gadget' Hoefler
2004-05-10 12:13 ` Dmitry A. Kazakov
2004-05-06 14:48 ` Georg Bauhaus
2004-05-07 8:31 ` Dmitry A. Kazakov
2004-05-07 14:30 ` Georg Bauhaus
2004-05-09 20:33 ` Dmitry A. Kazakov
2004-05-12 19:49 ` Randy Brukardt
2004-05-07 7:01 ` Martin Krischik
2004-05-06 9:55 ` with and use again (was: Manifesto against Vector) Marius Amado Alves
2004-05-06 12:04 ` Dmitry A. Kazakov
2004-05-07 6:53 ` Martin Krischik
2004-05-09 20:33 ` Dmitry A. Kazakov
2004-05-10 7:00 ` Martin Krischik
2004-05-10 12:15 ` Dmitry A. Kazakov
2004-05-07 16:27 ` with and use again Warren W. Gay VE3WWG
2004-05-06 19:53 ` Manifesto against Vector Jean-Pierre Rosen
2004-05-07 0:42 ` Jeffrey Carter
2004-05-07 6:49 ` Jean-Pierre Rosen
2004-05-07 18:20 ` Jeffrey Carter
2004-05-07 19:15 ` Simon Wright
2004-05-10 6:49 ` Jean-Pierre Rosen [this message]
2004-05-10 17:25 ` Jeffrey Carter
2004-05-11 13:25 ` Jean-Pierre Rosen
2004-05-07 5:00 ` Simon Wright
2004-05-07 6:40 ` Martin Krischik
2004-05-07 16:25 ` Warren W. Gay VE3WWG
2004-05-07 6:33 ` Martin Krischik
2004-05-06 14:28 ` Wes Groleau
2004-05-07 5:15 ` Russ
2004-05-10 11:55 ` Martin Dowie
2004-05-12 19:44 ` Randy Brukardt
2004-05-12 19:42 ` Randy Brukardt
2004-05-13 5:23 ` Russ
2004-05-13 5:48 ` Randy Brukardt
2004-05-13 14:43 ` Robert I. Eachus
2004-05-14 1:02 ` Russ
2004-05-07 6:29 ` with use - again [Was: Manifesto against Vector] Martin Krischik
2004-05-07 11:18 ` Manuel Collado
2004-05-07 14:37 ` Georg Bauhaus
2004-05-07 13:41 ` Mark Lorenzen
2004-05-07 13:06 ` Martin Krischik
2004-05-05 19:45 ` Manifesto against Vector Marius Amado Alves
2004-05-04 18:42 ` Ada.Containers names Marius Amado Alves
2004-05-05 23:21 ` Manifesto against Vector Robert I. Eachus
2004-05-07 4:55 ` Matthew Heaney
2004-05-10 4:10 ` Matthew Heaney
2004-05-12 7:41 ` Pascal Obry
2004-05-12 12:11 ` Matthew Heaney
2004-05-12 12:50 ` Matthew Heaney
2004-05-10 6:41 ` Martin Krischik
2004-05-10 17:41 ` Jeffrey Carter
2004-05-11 1:29 ` Matthew Heaney
2004-05-11 20:53 ` Alexander E. Kopilovich
[not found] ` <XRVrJe0vzF@VB1162.spb.edu>
2004-05-11 22:26 ` Marius Amado Alves
2004-05-11 5:55 ` Martin Krischik
[not found] <PnHmmb05QD@VB1162.spb.edu>
2004-05-04 9:07 ` Marius Amado Alves
2004-05-04 13:08 ` (see below)
2004-05-04 15:16 ` Martin Dowie
2004-05-05 13:21 ` Kevin Hostelley
2004-05-05 13:53 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox