From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: Manifesto against Vector
Date: Fri, 7 May 2004 08:49:20 +0200
Date: 2004-05-07T08:49:20+02:00 [thread overview]
Message-ID: <99cf7c.293.ln@skymaster> (raw)
In-Reply-To: DXAmc.10133$Hs1.326@newsread2.news.pas.earthlink.net
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 941 bytes --]
"Jeffrey Carter" <spam@spam.com> a �crit dans le message de news:DXAmc.10133$Hs1.326@newsread2.news.pas.earthlink.net...
> Jean-Pierre Rosen wrote:
> > Oh no! It's one of the nicest features of Ada. The dependance graph
> > of the program is hard-coded, you always know which module needs
> > which module.
>
> Unfortunately, this is not always true. With tagged types and
> dispatching, it is possible for a module to call an operation in another
> module that is not "with"ed by the first module.
>
True if you are thinking in terms of call-graph.
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.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2004-05-07 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 [this message]
2004-05-07 18:20 ` Jeffrey Carter
2004-05-07 19:15 ` Simon Wright
2004-05-10 6:49 ` Jean-Pierre Rosen
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