From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Smart Pointers and Tagged Type Hierarchies
Date: Wed, 2 Aug 2017 14:26:41 -0500
Date: 2017-08-02T14:26:41-05:00 [thread overview]
Message-ID: <olt91i$27k$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: olrreq$1tp3$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:olrreq$1tp3$1@gioia.aioe.org...
> On 2017-08-02 00:41, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:olpb12$1o3$1@gioia.aioe.org...
>>> On 2017-08-01 05:43, Randy Brukardt wrote:
>> ...
...
> Same as above. The 2-D table is:
>
> A1 A2 A3
> B1 *
> B2 *
> B3 *
>
> You do exactly same thing. You check if you are on the diagonal, then you
> dispatch using any of two tags once. Just one hop.
That's how interfaces work, essentially. They are very difficult to
implement efficiently (I believe it is impossible in general). I
(personally) don't want more interface like implementation complication.
(It's unlikely that Janus/Ada will ever implement interfaces for this
reason.)
Randy.
prev parent reply other threads:[~2017-08-02 19:26 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-24 15:41 Smart Pointers and Tagged Type Hierarchies Felix Krause
2017-07-24 19:53 ` Dmitry A. Kazakov
2017-07-27 19:30 ` Felix Krause
2017-07-27 20:42 ` Dmitry A. Kazakov
2017-07-24 21:24 ` Chris Moore
2017-07-27 19:38 ` Felix Krause
2017-08-01 4:07 ` Randy Brukardt
2017-07-26 17:53 ` Ivan Levashev
2017-07-28 9:21 ` AdaMagica
2017-07-30 19:45 ` briot.emmanuel
2017-08-01 3:43 ` Randy Brukardt
2017-08-01 7:36 ` Dmitry A. Kazakov
2017-08-01 22:41 ` Randy Brukardt
2017-08-02 6:28 ` Dmitry A. Kazakov
2017-08-02 19:26 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox