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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9d303864ae4c70ad X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-04-14 08:04:11 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: wojtek@power.com.pl (Wojtek Narczynski) Newsgroups: comp.lang.ada Subject: Re: Reprise: 'in out' parameters for functions Date: 14 Apr 2004 08:03:49 -0700 Organization: http://groups.google.com Message-ID: <5ad0dd8a.0404140703.49e1e2f2@posting.google.com> References: <5ad0dd8a.0404091828.6e79bb4e@posting.google.com> <5ad0dd8a.0404100735.7b2a8317@posting.google.com> <5ad0dd8a.0404130130.66d5e721@posting.google.com> <5ad0dd8a.0404131441.20b8a942@posting.google.com> NNTP-Posting-Host: 62.111.211.178 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1081955029 28462 127.0.0.1 (14 Apr 2004 15:03:49 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 14 Apr 2004 15:03:49 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:7096 Date: 2004-04-14T08:03:49-07:00 List-Id: > I did not disagree with your definition. I did with your statement that > Ada's protected objects are wrong way. They might have problems, though. > But it appeared, as you treating them as completely wrong. "Wrong" seems to be one of your favourite words. I merely said that Ada concurrency features are not expressive enough not to require abstraction inversion in many cases. --- >> Checking physical units statically would be helpful for high integrity >> software. I don't see any practical use for runtime unit checks. > Only because I see no smiley... How would you implement: > > procedure Put (Stream : File, Value : Measurement); > procedure Get (Stream : File, Value : out Measurement); > > For example, a requirement of one of our customer was to have a button in > his MMI to switch between European and American units in all visual > elements and printouts. Now go, figure out, how would you solve that using > templates. Huhm, we are talking about _checks_, then we are suddenly talking about _conversions_. But even for conversions, even though they are most certainly useful in many cases at runtime, the idea to hardcode the external representation of values with units into the compiler and runtime, is unfortunate. --- >>> I didn't say that (2) is not solvable. I just invited you to think about >>> it more deeply, before making some final statements. >> >> It is unclear to me what final statements you are referring to. > > That Ada exception model should be replaced by some other. I hate it when somebody puts words I have not said in my mouth. I suggest that you proofread your own posts for final statements instead. Regards, Wojtek