From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: subprogram must not be deeper than access type
Date: Tue, 04 Oct 2011 01:30:38 +0200
Date: 2011-10-04T01:30:38+02:00 [thread overview]
Message-ID: <op.v2st9ctrule2fv@index.ici> (raw)
In-Reply-To: 20110925160442.399884a0@c-01b
Le Sun, 25 Sep 2011 16:04:42 +0200, Oliver Kleinke
<oliver.kleinke@c-01a.de> a écrit:
> Hi,
>
> I am unsure but you might want to try it using an anonymous access to
> subprogram type, as described here
> ('05 Rationale, 3.4 - Downward Closures)
> http://www.adaic.org/resources/add_content/standards/05rat/html/Rat-3-4.html
There are things I did not understand.
> Ada 2005 overcomes the problem by introducing anonymous access to
> subprogram types. This was actually considered during the design of
> Ada 95 but it was not done at the time for two main reasons. Firstly,
> the implementation problems for those who were using display vectors
> rather than static links were considered a hurdle.
Display vectors ?
There is another reference below
> that model does not work especially for display based implementations
What is that display ?
May be a matter of taste now
> And secondly, a crafty technique was available using the newly
> introduced tagged types. And of course one could continue to use
> generics. But further thought showed that the implementation burden
> was not so great provided the uses were kept simple — and anyway
> nobody understood the tagged type technique which was reallyincredibly
> contorted.
I do prefer tagged types over access to subprogram, because I feel it is
cleaner and more design evolution friendly (you may had anything useful to
the tagged object, one of the most interesting, is a state). What is
contorted with tagged types here ? Why did he say nobody understood this
technique ?
--
“Syntactic sugar causes cancer of the semi-colons.” [Epigrams on
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit
next prev parent reply other threads:[~2011-10-03 23:30 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-25 9:02 subprogram must not be deeper than access type Natasha Kerensikova
2011-09-25 14:04 ` Oliver Kleinke
2011-09-26 9:35 ` Natasha Kerensikova
2011-10-03 23:30 ` Yannick Duchêne (Hibou57) [this message]
2011-10-03 23:39 ` Adam Beneschan
2011-10-04 0:52 ` Yannick Duchêne (Hibou57)
2011-10-04 1:48 ` Yannick Duchêne (Hibou57)
2011-09-25 14:23 ` Robert A Duff
2011-09-25 15:03 ` georg bauhaus
2011-09-26 9:45 ` Natasha Kerensikova
2011-09-26 13:43 ` Robert A Duff
2011-09-26 14:20 ` Dmitry A. Kazakov
2011-09-26 16:15 ` Robert A Duff
2011-09-26 19:30 ` Dmitry A. Kazakov
2011-09-27 0:41 ` Robert A Duff
2011-09-27 8:58 ` Dmitry A. Kazakov
2011-10-04 4:19 ` Yannick Duchêne (Hibou57)
2011-09-27 5:50 ` J-P. Rosen
2011-09-27 7:52 ` Dmitry A. Kazakov
2011-10-04 4:26 ` Yannick Duchêne (Hibou57)
2011-10-04 7:58 ` Dmitry A. Kazakov
2011-10-04 15:10 ` Georg Bauhaus
2011-10-04 15:34 ` Dmitry A. Kazakov
2011-10-04 15:49 ` Yannick Duchêne (Hibou57)
2011-10-04 16:04 ` Dmitry A. Kazakov
2011-10-04 15:44 ` Yannick Duchêne (Hibou57)
2011-10-04 16:05 ` Georg Bauhaus
2011-10-04 16:47 ` Yannick Duchêne (Hibou57)
2011-10-04 15:41 ` Yannick Duchêne (Hibou57)
2011-09-26 18:59 ` Jeffrey Carter
2011-09-27 0:35 ` Robert A Duff
2011-10-04 4:30 ` Yannick Duchêne (Hibou57)
2011-10-04 18:40 ` Jeffrey Carter
2011-09-26 14:29 ` Georg Bauhaus
2011-09-26 15:31 ` Georg Bauhaus
2011-10-04 4:35 ` Yannick Duchêne (Hibou57)
2011-10-04 4:13 ` Yannick Duchêne (Hibou57)
2011-09-25 17:16 ` Jeffrey Carter
2011-09-25 21:53 ` Robert A Duff
2011-09-26 9:25 ` Georg Bauhaus
2011-09-26 23:00 ` Randy Brukardt
2011-09-27 0:34 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox