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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Oberon and Wirthian languages
Date: Thu, 24 Apr 2014 20:37:28 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <ljce8q$qpb$1@loke.gir.dk>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <lic17o$re4$1@dont-email.me> <8761m535e4.fsf_-_@ludovic-brenta.org>
 <lj3540$m81$1@dont-email.me> <lj3nao$u22$2@dont-email.me>
 <lj4de1$jql$1@dont-email.me> <ly7g6hamsw.fsf@pushface.org>
 <lj5n4g$jse$1@dont-email.me> <brntbeFnfgcU1@mid.individual.net>
 <lj6kfg$jhs$1@dont-email.me> <lj6uhp$7dd$1@loke.gir.dk>
 <lj8aug$43b$1@dont-email.me> <ly61lzrciv.fsf@pushface.org>
 <lj9lbm$cig$1@dont-email.me> <brsggrFmd3gU1@mid.individual.net>
 <ljbmfm$j7u$1@dont-email.me> <brt9ftFrnkaU1@mid.individual.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1398389850 27435 69.95.181.76 (25 Apr 2014 01:37:30 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 25 Apr 2014 01:37:30 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-Original-Bytes: 2727
Xref: number.nntp.dca.giganews.com comp.lang.ada:186078
Date: 2014-04-24T20:37:28-05:00
List-Id: <comp.lang.ada>

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:brt9ftFrnkaU1@mid.individual.net...
> On 14-04-24 21:51 , Simon Clubley wrote:
...
>> It will be interesting to see if Randy and company have any comments on
>> this syntax.

Not really, other than that someone needs to come up with syntax that has 
the right "feeling". None of the proposals I've seen have that yet, but keep 
trying.

> Overload resolution may be an issue. I think it could be based purely on
> the "initial values" part ("A" in the examples above) and could ignore
> the named component associations.

I don't think so. An aggregate has to resolve without context, so the type 
of the aggregate has to be unique or its already illegal (ignoring the 
contents). Once you have that, resolving the contents is straighforward (it 
would be a lot easier than an extension aggregate as the type of the object 
would have the be the same as the aggregate as a whole, not something in a 
class - unless of course one also added a form of extension here as an 
option [I see no need.]).

                           Randy.