From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,e55245590c829bef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: _Type vs no _Type
Date: Sun, 07 Nov 2010 00:08:22 +0200
Organization: Tidorum Ltd
Message-ID: <8jm1umFqn0U1@mid.individual.net>
References: <86wroy58ff.fsf@gareth.avalon.lan>
 <iale5p$2f6$1@tornado.tornevall.net> <86pqup5xfy.fsf@gareth.avalon.lan>
 <becbd7a4-89e6-4d81-b7d8-7d18ac75c1f9@j2g2000yqf.googlegroups.com>
 <86y69d3rec.fsf@gareth.avalon.lan> <ian4b2$p9h$1@tornado.tornevall.net>
 <82lj5c5ecm.fsf@stephe-leake.org> <iapnmm$p5j$1@tornado.tornevall.net>
 <op.vlj5fgv0ule2fv@garhos> <m24obz1nkj.fsf@pushface.org>
 <82zktq4n9b.fsf_-_@stephe-leake.org> <iaurli$fml$1@tornado.tornevall.net>
 <wcczktnbsk7.fsf@shell01.TheWorld.com> <ib1llq$8mp$1@tornado.tornevall.net>
 <wccfwvf5qp8.fsf@shell01.TheWorld.com> <ib2872$pb7$1@tornado.tornevall.net>
 <g99f7vycatem$.1xtq9qp9kz0rt.dlg@40tude.net>
 <C8FB3C9F.DDA%news@findlayw.plus.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net K0jpILCQHHnrGgOBpCmH2gQ8hbzExTVFpCDwbPxaoX6oD5YBHK
Cancel-Lock: sha1:Wnk/vDS7rEqOZjtwAB5IcbKaRnY=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: <C8FB3C9F.DDA%news@findlayw.plus.com>
Xref: g2news1.google.com comp.lang.ada:15353
Date: 2010-11-07T00:08:22+02:00
List-Id: <comp.lang.ada>

(see below) wrote:
> On 06/11/2010 07:12, in article g99f7vycatem$.1xtq9qp9kz0rt.dlg@40tude.net,
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
> 
>> For commutative operations like "+" it becomes a bit difficult:
>>
>>    function "+" (2 * Summand : T) return T;    -- (:-))
>>
>> which BTW, illustrates another problem. The name meaningful for the client
>> is not necessarily meaningful for the implementation and conversely.
> 
> SCL, the command language for the ICL/Fujitsu VME OS, is loosely based on
> Algol 68 and has a facility to deal with this. A procedure's signature
> includes for each parameter, as well as its identifier and type, an optional
> "keyword". It is the latter that is used where Ada uses the formal parameter
> identifier, in named parameter associations. Only the formal parameter
> identifier can be used within the procedure body.

That's a nice feature. For named associations I often find that I would 
like to identify parameters with words like "with", "of", "in", that are 
reserved words in Ada and so cannot be used as parameter names. Perhaps 
such words could be allowed as "keywords" if this SCL feature were 
adopted in Ada.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .