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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5f5a48f21d7f7525 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!.POSTED!not-for-mail From: Warren Newsgroups: comp.lang.ada Subject: Re: Inferring array index type from array object Date: Tue, 29 Jun 2010 16:56:28 +0000 (UTC) Organization: A noiseless patient Spider Message-ID: References: <6b20ed09-efc1-4df7-90f9-5e141482e8d0@d37g2000yqm.googlegroups.com> <1305oqccr1h2t$.x33x4oxwd84d$.dlg@40tude.net> <88ec2vF3uqU1@mid.individual.net> <88f9osFmcmU1@mid.individual.net> <88sld2F9m8U1@mid.individual.net> Injection-Date: Tue, 29 Jun 2010 16:56:28 +0000 (UTC) Injection-Info: mx01.eternal-september.org; posting-host="9f8M0iN5t54V+4DF/iqO8g"; logging-data="10524"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Q/B5mh65kyESeZRCN9bCwDIb7eGIfSBQ=" User-Agent: Xnews/5.04.25 X-Face: &6@]C2>ZS=NM|HE-^zWuryN#Z/2_.s9E|G&~DRi|sav9{E}XQJb*\_>=a5"q]\%A;5}LKP][1mA{gZ,Q!j Cancel-Lock: sha1:A8ZhxRwK4vKePevqIDjR1w6SZvk= Xref: g2news2.google.com comp.lang.ada:12960 Date: 2010-06-29T16:56:28+00:00 List-Id: Niklas Holsti expounded in news:88sld2F9m8U1@mid.individual.net: > Warren wrote: >> Niklas Holsti expounded in news:88f9osFmcmU1@mid.individual.net: >>> Warren wrote: >>>> Niklas Holsti expounded in news:88ec2vF3uqU1@mid.individual.net: >>>>> Dmitry A. Kazakov wrote: >>>>>> On Wed, 23 Jun 2010 00:30:23 -0700 (PDT), Maciej Sobczak wrote: >>>> .. >>>>>>> 2. Is it possible to declare the index variable without >>>>>>> hardcoding the index type (that is, to infer it from the array >>>>>>> object)? ... >>>>> same (sub)type as the loop counter in "for I in S'Range loop ...". >>>> I think most would agree that this is a "convenience" feature. >>> Yes, but in other contexts, when we advocate Ada, we often make a >>> big point of the "convenience" of the 'Range attribute for arrays, >>> such as "No need to pass extra parameters for array index bounds, >>> just use 'Range". The suggestion to let variables be declared by the >>> "type" S'Range (or, if desired, a new attribute S'Index_Type) has a >>> similar advantage (but a weaker one, I admit). ... >> At some point, you have to draw a line in the sand. > > "Convenience" is not always opposed to "the Ada way". Ada strives to > be readable and correctness-prone (that is, the opposite of > error-prone). I thnk that there are features that could be added to > Ada that favour these goals but also increase convenience. No argument on that. > I think Ada could well support an add-and-assign syntax, for example > in the syntax X +:= 1 (or X := * + 1 as it was written IIRC in > Burroughs .. One thing that really irks me (in lack of convenience) is the lack of certain functions in the library support. For example, I was looking for the inverse of a complex number function. Did I missed it? My googling didn't turn up much, nor did grep on the package hdrs. So because it is missing (AFIK), I had to google it and figure out how it is done and code it myself. Wouldn't it be safer if the function was already provided and tested? Wouldn't it also be more accurately coded (floating point can be tricky)? At least it would be tested. IIRC, I ran into the similar issues with some other functions (ATAN2??). The LOG10() issue was resolved when I discovered there is a base argument in LOG(), so that was just my own "user error". But even if a function is considered "trivial", I think it would be "safer" to include it. Additionally, having them provided means that they will be coded for the best accuracy. Warren