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,c7ea1cb7a2beb2ee X-Google-Attributes: gid103376,public From: "Tarjei T. Jensen" Subject: Re: Disallowing Pre-Defined Operations Date: 2000/03/16 Message-ID: <8aqc0e$n851@ftp.kvaerner.com>#1/1 X-Deja-AN: 598207217 Content-Transfer-Encoding: 7bit References: <8a9eeg$qtv$1@newpoisson.nosc.mil> <8ababr$c3u$1@wanadoo.fr><8afhed$f9v$1@newpoisson.nosc.mil> <8aoifb$49f$1@newpoisson.nosc.mil> <38D001D7.4D6E4284@averstar.com> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2120.0 Organization: Kv�rner Group IT Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-03-16T00:00:00+00:00 List-Id: Tucker Taft wrote in >I understand your goal, and it is reasonable. The usual question is >whether it is worth the cost. There are so many great ideas that >are possible, but only so many can be accommodated in a single >language. What you really want are a small number of very powerful >and flexible concepts that allow you to solve all the >interesting problems elegantly and safely. Personally, I would like a full-up >"units" capability, where generally A * A => A is not defined, since >that doesn't balance from a units point of view. I have some ideas >how to get there, and would be interested in opinions from others. >The techniques using discriminants are unsatisfactory in my view, >and too "heavy." VHDL has the notion of "units" built into the language, >and its approach should probably be evaluated. I think a "units" facility will be very attractive. I would think that it woulld make Ada more attractive to the people who would ordinarily use Fortran. I also think that it might be useful for those who create safety or life critical software. I think it is long overdue to be able to add oranges and apples and get fruit as the result. Whether this is achived by adding keywords or pragmas, I don't care. Greetings,