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-Thread: 103376,73cb216d191f0fef X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.86.34 with SMTP id m2mr1510177wiz.5.1363297875734; Thu, 14 Mar 2013 14:51:15 -0700 (PDT) MIME-Version: 1.0 Path: bp2ni92414wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.134.4.91.MISMATCH!news2.euro.net!newsfeed.x-privat.org!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Thu, 14 Mar 2013 16:51:11 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net> <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net> <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net> <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net> <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net> <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net> <13y3efy877tjl$.5yuu230sknnq$.dlg@40tude.net> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1363297875 6358 69.95.181.76 (14 Mar 2013 21:51:15 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Thu, 14 Mar 2013 21:51:15 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Date: 2013-03-14T16:51:11-05:00 List-Id: "Dmitry A. Kazakov" wrote in message news:13y3efy877tjl$.5yuu230sknnq$.dlg@40tude.net... > On Wed, 13 Mar 2013 16:01:27 -0500, Randy Brukardt wrote: > >> You have many interesting ideas that would be far better served if you >> described them in Ada-terms. > > How do you describe tagged types in Ada 83 terms? Why would I want to? Tagged types aren't part of Ada 83. In any case, only Ada 2012 plus fixes is relevant; everything else is buggier or incomplete. > In order to move forward you need a consistent theory behind the language. Right, and Ada has one explained in the RM. > RM is not the place where you could do that work. RM is about engineering, > not science. You don't describe thermodynamic processes in terms of > Volkswagen Owner's Manual. Thermodynamics apply both to VW and GM, > regardless whatever manuals. No one cares about that. You don't need to know about the laws of thermodynamics to operate a caase, and you don't need to know anything about type-algebras or other such baloney to program in a programming language. And it's the use of a programming language - not theories - that determines whether or not the language is truly usable. Another way to put it is that raw science (as you called it) is essentially irrelevant unless it can be applied to engineering. After all, *ideas* are worthless; only execution has value in today's world. I care about the execution (that is the usability of the design) of Ada, not how it fits into someone's theory of how things should be. Randy.