From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: subprogram must not be deeper than access type
Date: Tue, 04 Oct 2011 17:10:51 +0200
Date: 2011-10-04T17:10:52+02:00 [thread overview]
Message-ID: <4e8b21fc$0$6571$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <gk6gupu4gbie.1feok3e8ay6ot$.dlg@40tude.net>
On 04.10.11 09:58, Dmitry A. Kazakov wrote:
> ------------------------------
> BTW, the list of parameters of a subprogram is an anonymous record type,
> but Ada does not require its explicit declaration, e.g.
>
> type Integer_Tuple is record
> Left : Integer;
> Right : Integer;
> end record;
> function "+" : Integer_Tuple return Integer;
To better meet programmer expectations, functions could then
return lists of values as objects of a similar anonymous
record type.
(Left, Right) := Explode (Argument);
With accessors, this is more interesting. Let F2
return a pair of accessorable (?) objects:
(F2 (A), F2 (B)) := -- 4-tuple
Explode (Argument) & Explode (Argument);
"&" would then become a suitably overridden operation
of some anonymous type. Perhaps also
(F2 (A), F2 (B)) :=
Explode_3 (Argument) & Explode (Argument)(2);
assuming that indexing starts at 1.
SCNR
next prev parent reply other threads:[~2011-10-04 15:10 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)
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 [this message]
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