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: 103376,e55245590c829bef
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <news@findlayw.plus.com>
Newsgroups: comp.lang.ada
Subject: Re: _Type vs no _Type
Date: Sat, 06 Nov 2010 17:10:55 +0000
Message-ID: <C8FB3C9F.DDA%news@findlayw.plus.com>
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>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net rFLJpRRvAOPT9T+lTqftIAMD2f9ahhushZ7IPiaSaqgH8s7ab/
Cancel-Lock: sha1:hvm6bf67BcSMCejet206pIUNbd8=
User-Agent: Microsoft-Entourage/12.23.0.091001
Thread-Topic: _Type vs no _Type
Thread-Index: Act91ZKGc8aJoArAn0OidUIG/zp4fQ==
Xref: g2news1.google.com comp.lang.ada:15341
Date: 2010-11-06T17:10:55+00:00
List-Id: <comp.lang.ada>

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.

-- 
Bill Findlay
with blueyonder.co.uk;
<surname><forename>