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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be3749d096f8436b
X-Google-Attributes: gid103376,public
From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Suitability for small Windows projects
Date: 2000/09/28
Message-ID: <Pine.BSF.4.21.0009280825480.29105-100000@shell5.ba.best.com>#1/1
X-Deja-AN: 675157408
References: <8qr809$cjj@newshost.fujitsu.com.au>
 <slrn8t2cih.8d9.haering@sunhalle3.informatik.tu-muenchen.de>
 <8qrs0i$kq2@newshost.fujitsu.com.au> <8qs469$pf1@news.kvaerner.com>
 <39D1C1F3.893B61A6@maths.unine.ch> <8qtsek$j7c$2@news-hrz.uni-duisburg.de>
 <8qvj52$1lm$1@nnrp1.deja.com>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Complaints-To: abuse@verio.net
X-Trace: sjc-read 970155238 206.184.139.136 (Thu, 28 Sep 2000 15:33:58 GMT)
Organization: Verio
MIME-Version: 1.0
NNTP-Posting-Date: Thu, 28 Sep 2000 15:33:58 GMT
Newsgroups: comp.lang.ada
Date: 2000-09-28T00:00:00+00:00
List-Id: <comp.lang.ada>

On Thu, 28 Sep 2000, Ted Dennison wrote:
> In article <8qtsek$j7c$2@news-hrz.uni-duisburg.de>,
>   sb463ba@l1-hrz.uni-duisburg.de (Georg Bauhaus) wrote:
> > Have you seen the new keywords added in Component Pascal,
> > successor to Oberon-2? :-)  And not a single mention of Ada :-(
> > http://www.oberon.ch/resources/component_pascal/evolution.html
> 
> Hmmm. More interesting to me are some of the differences. I love those
> procedure attributes. Ada has just one: "abstract". But it would be
> really nice to be able to tell just by looking at the subprogram
> prototype if a routine is an extension, extendable, or final. Right now
> you have to look in other places (sometimes *several* other places) to
> get that information.

I guess what I find most interesting is that a group of researchers
unconstrained by backward compatibility come up with a language that I
find significantly less elegant than Ada 95, even though it is roughly at
the same point in language design space. What about generics? 

And, since it is more relevant to Ada, what of generics in SPARK? I
remember asking about this a long time ago and someone from Praxis said 
a future version might support some form of generics. 

I shouldn't even mention overloading since it is controversial, but I
think the other Wirth family languages suffer for that omission. 
 
-- Brian