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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6487f59679c615d8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.204.149.210 with SMTP id u18mr666992bkv.1.1336663963529; Thu, 10 May 2012 08:32:43 -0700 (PDT) Path: h15ni1930bkw.0!nntp.google.com!news1.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Ada Reference Manual 2012 in info format Date: Thu, 10 May 2012 17:32:41 +0200 Organization: Ada @ Home Message-ID: References: <82aa1ud0l3.fsf@stephe-leake.org> <20120509131736.63c924c8@vostro> <17qiwxc1yxhx7$.11tflala8jabh$.dlg@40tude.net> <4faa7790$0$9508$9b4e6d93@newsspool1.arcor-online.net> <1qod0a82z1gx4.6ncrd98m7cz3.dlg@40tude.net> <2nfobsn64ovj$.yo1ugseoo72.dlg@40tude.net> NNTP-Posting-Host: bAKWcbxzW9bhkDbfmEytBA.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.00 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-05-10T17:32:41+02:00 List-Id: Le Thu, 10 May 2012 17:02:30 +0200, Dmitry A. Kazakov = a =C3=A9crit: >> No? You don't need tool to check Ada source legality? > > Never used that thing. Ada compilers are validated. In doubt I rather = ask > our language lawyers here. What's a compiler if not a tool? You just confirmed the assertion. > BTW, XML is ever worse that just that. The "legality" you are talking = = > about > is merely stupid syntax checks, What you are talking about here, is not validity, that's well=E2=80=91fo= rmedness. = Both well=E2=80=91formedness and validity are formalized by the XML spec= ification, = and are different levels and requirements (there are others too), just = like you have static=E2=80=91constraint and dynamic=E2=80=91constraint w= ith Ada. > necessary because guys were unable to get > the syntax right. Sorry, although I enjoy a lot your analyses about Ada, when you talk abo= ut = XML, your analyses are stupids :P Just forget about XML. If you don't like it, that's probably because you= = never encountered a case where you need it (as much as because your seem= s = to be not aware of document authoring matters, as XML is not only used f= or = hard=E2=80=91data serialization) and it as a standard. Nevertheless, keep in mind that the word =E2=80=9Cstandard=E2=80=9D is e= mphasized a lot = here ;) And with the word =E2=80=9Dstandard=E2=80=9D comes the words =E2= =80=9Dinteroperability=E2=80=9D. Topic closed for me, I won't argue anymore, not the place for that, just= = that I didn't want to left such assertions without an answer. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity