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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1116ece181be1aea
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-09 09:27:45 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out1.nntp.be!propagator2-sterling!news-in-sterling.nuthinbutnews.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny02.gnilink.net.POSTED!53ab2750!not-for-mail
From: "Frank J. Lhota" <NOSPAM.lhota.adarose@verizon.net>
Newsgroups: comp.lang.ada
References: <3F7B1076.8060106@comcast.net>
 <5mknnv4u96qqudrt4bd8n4t1cljp2fjlp8@4ax.com>
 <CZOdnWbTwIxOruGiU-KYgw@gbronline.com>
 <blklum$dala6$1@ID-77047.news.uni-berlin.de>
 <1065215180.95094@master.nyc.kbcfp.com>
 <blm0av$dkoad$3@ID-77047.news.uni-berlin.de>
 <akOfb.23883$kD3.11661@nwrdny03.gnilink.net>
 <19p2ovk1jh4krn2h5cql44p37ovf6va99i@4ax.com>
 <FyOgb.36403$541.32150@nwrdny02.gnilink.net>
 <4pe7ov0gsepk8p8cq88ropvq4sookdhatk@4ax.com>
 <1065635640.270857@master.nyc.kbcfp.com>
 <725aovsqh10dv5p5nh1e7k2qvjjcqustsa@4ax.com>
 <1065709998.992831@master.nyc.kbcfp.com>
Subject: Re: Counter-proposal for variable arrays
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <40ghb.37241$541.7039@nwrdny02.gnilink.net>
Date: Thu, 09 Oct 2003 16:27:44 GMT
NNTP-Posting-Host: 141.154.234.254
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny02.gnilink.net 1065716864 141.154.234.254 (Thu,
 09 Oct 2003 12:27:44 EDT)
NNTP-Posting-Date: Thu, 09 Oct 2003 12:27:44 EDT
Xref: archiver1.google.com comp.lang.ada:542
Date: 2003-10-09T16:27:44+00:00
List-Id: <comp.lang.ada>

"Hyman Rosen" <hyrosen@mail.com> wrote in message
news:1065709998.992831@master.nyc.kbcfp.com...
> Dmitry A. Kazakov wrote:
> > It is already so. Consider:
> > type Tricky (I, J : Positive) is record
> >    X : String (1..I);
> >    Y : String (1..J);
> > end record;
> > The offset to Y is variable and depends on the value of I.
>
> I Didn't Know You Could Do That In Ada(tm). :-)
> It really works that way? And you can have procedures
> which just take unconstrained Tricky parameters, and
> they'll know how to deal with all instances? Cool!

Yep, Ada really works that way, and Ada procedures handle these "Tricky"
parameters all the time. And I'm glad you find it cool. :)

> > For good or bad, neither Ada is C++ nor I have Stroustrup's influence
> > on the language design. There should be some consensus reached. And of
> > course, any change undertaken have to be carefully reviewed.
>
> Don't underestimate the power of Just Doing It. You know how they
> say that it's easier to get forgiveness than permission. If the
> feature were actually added to a popular compiler and worked well,
> that would be a big step in gaining acceptance.

Amen!