comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: working with diferent instances of the same generic interface
Date: Thu, 1 Oct 2015 15:09:43 -0500
Date: 2015-10-01T15:09:43-05:00	[thread overview]
Message-ID: <muk3u7$3tk$1@loke.gir.dk> (raw)
In-Reply-To: 1qdvz5nsrt3yp.gmtykg9khnkm$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1qdvz5nsrt3yp.gmtykg9khnkm$.dlg@40tude.net...
...
> There is no magic in generics (except for making programs unmaintainable).
> Consider each generic instance as a manually re-typed unit and then apply
> Ada rules to the result.

That's not 100% true (the way exceptions declared in generic bodies are 
handled comes to mind), but it's close enough for almost all purposes. You'd 
have to be a language lawyer to care about the differences (I plead guilty 
to that :-).

                              Randy.



  reply	other threads:[~2015-10-01 20:09 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-08 15:10 working with diferent instances of the same generic interface Aitor Alcrudo Sangros
2015-09-08 17:11 ` G.B.
2015-09-09  6:38 ` Jacob Sparre Andersen
2015-09-09 11:08   ` Aitor Alcrudo Sangros
2015-09-09 12:17     ` Egil H H
2015-09-09 12:41       ` Aitor Alcrudo Sangros
2015-09-09 13:10         ` Egil H H
2015-09-09 14:50           ` Aitor Alcrudo Sangros
2015-09-09 16:48             ` Egil H H
2015-09-09 19:04               ` Aitor Alcrudo Sangros
2015-09-09 19:16                 ` Dmitry A. Kazakov
2015-10-01 16:45                   ` Aitor Alcrudo Sangros
2015-10-01 19:29                     ` Dmitry A. Kazakov
2015-10-01 20:09                       ` Randy Brukardt [this message]
2015-09-13 18:22             ` Florian Weimer
2015-09-10 12:22     ` Jacob Sparre Andersen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox