From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: subprogram must not be deeper than access type
Date: Tue, 4 Oct 2011 17:34:28 +0200
Date: 2011-10-04T17:34:28+02:00 [thread overview]
Message-ID: <18lpded4rc8ub.1m3os6ozt7mi6$.dlg@40tude.net> (raw)
In-Reply-To: 4e8b21fc$0$6571$9b4e6d93@newsspool3.arcor-online.net
On Tue, 04 Oct 2011 17:10:51 +0200, Georg Bauhaus wrote:
> 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.
Sure, the result(s) belongs there.
> (Left, Right) := Explode (Argument);
>
> With accessors, this is more interesting. Let F2
> return a pair of accessorable (?) objects:
Down with accessors. The language should simply support sugars like:
F (X) := G (Y) --> F[Index] (X, G (Y))
After prefix notation was introduced, there is no reason why other
shortcuts should not be allowed.
Specifically to accessors they are mess already. Would you try to figure
out how two accessors in a tuple of would interact?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2011-10-04 15:34 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
2011-10-04 15:34 ` Dmitry A. Kazakov [this message]
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