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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c7ea1cb7a2beb2ee X-Google-Attributes: gid103376,public From: William A Whitaker Subject: Re: Disallowing Pre-Defined Operations Date: 2000/03/22 Message-ID: <38D9A2E8.F720768@erols.com>#1/1 X-Deja-AN: 601166155 Content-Transfer-Encoding: 7bit References: <8a9eeg$qtv$1@newpoisson.nosc.mil> <38D2E598.262D1CD5@erols.com> <8b0pbg$aph$1@nnrp1.deja.com> X-Accept-Language: en,fr Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@rcn.com X-Trace: nW9UEAgKkox6BvqstBVAkOx2lc0yVCBdZYwnRtVrG4s= Mime-Version: 1.0 Reply-To: whitaker@erols.com NNTP-Posting-Date: 23 Mar 2000 04:52:16 GMT Newsgroups: comp.lang.ada Date: 2000-03-23T04:52:16+00:00 List-Id: No one asks for built-in units checking. (Actually I did and several others have talked to me about it, but apparently not to ACT.) This may not be unexpected. ACT talks to the computer people in a company. Computer scientists have no brief for units, they deal with bits, and maybe GUIs. They get an algorithm and are supposed to implement it. That is software. The managers do not ask for units, thay just want to job done and expect that the programmeers will take care of it. The only way they would know of the problem is when something goes wrong, like a Mars probe crashes. And the knowledge is of little use then because their next managerial job is at McDolalds. It was not always so. The first few generations of computers were designed and built for physicists, who did their own programming. And units were important, but physicists were trained to be particularly careful with them. Now days the language/compiler could help those who are not as careful. I suggest that a units checking feature would be a valuable selling feature in Ada, even though one might have to educate the user. But it is a step above any individual implementer. The suggestion that it would be an interesting experiment as a modification to GNAT is a good one. But I hope such work gets widely circulated so that there is developed a common method of stating the units in a program, however it is implemented. And one might advertize that the units pragma in one system means the same as in another. Whitaker Robert Dewar wrote: > > In article <38D2E598.262D1CD5@erols.com>, > whitaker@erols.com wrote: > > Of course, the ideal is an Ada recognition of the Units > > requirement and implementation at the standard/compiler level. > > I don't see the "of course" here at all. It is not at all clear > that the damage to the language done by the additional > complexity here would be worth the additional functionality. > > Given that the discriminants solution works fine, and has an > efficient implementation, that seems good enough to me. If no > compiler vendor has bothered to provide this efficient > implementation, it would tend to indicate that it is simply > not that important. > > Certainly we have never had any customers asking for such > a feature, and our customers are not shy when it comes to > asking for enhancements (the long list of features in the > new release of GNAT 3.13a is largely fueled by customer > requests). > > Robert Dewar > Ada Core Technologies > > P.S. Exploring this more efficient implementation would > certainly make a nice GNAT-based project for someone to > undertake. > > Sent via Deja.com http://www.deja.com/ > Before you buy.