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,429176cb92b1b825 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!194.25.134.126.MISMATCH!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Thu, 20 Jan 2011 00:34:05 +0100 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13) Gecko/20101129 Thunderbird/3.1.7 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: AWS Coding Styles (and about boring plain-linear text files in the end) References: <24418fa4-8843-4fe6-8c2f-026ea6009b68@g26g2000vbz.googlegroups.com> <87lj2ido9j.fsf@mid.deneb.enyo.de> <4D35F6C8.2060100@obry.net> <4d3608ab$0$7664$9b4e6d93@newsspool1.arcor-online.net> <4d3634a5$0$7664$9b4e6d93@newsspool1.arcor-online.net> <4d36b748$0$6977$9b4e6d93@newsspool4.arcor-online.net> <4d36e484$0$6769$9b4e6d93@newsspool3.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <4d3774ee$0$6774$9b4e6d93@newsspool3.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 20 Jan 2011 00:34:06 CET NNTP-Posting-Host: 011d5b1b.newsspool3.arcor-online.net X-Trace: DXC=CB96m3:ejVXlI?B_?U?5m_L On 1/19/11 10:56 PM, Yannick Duchêne (Hibou57) wrote: > Le Wed, 19 Jan 2011 14:17:56 +0100, Georg Bauhaus a écrit: >> No, no, the brackets @{ @}, or the line-of-code indicator @@ are much >> simpler than FunnelWeb. For one thing, the Ada programmer only needs >> to understand Ada and will not think about typesetting or macros or >> line endings. > Where you said “typesetting”, did you meant “semantic markup” ? (I meant typesetting. A few bits of FunnelWeb are made for typesetting. I wouldn't want to drag these in.) The very simple addition of @{ and @} to Ada comments would not have semantic implications. It is only about making references to Ada text explicit. Consider: procedure P (ARG : in out TYP); -- bla bla @{ARG@} bla bla Assume further one rule which states whether comments are written before or after associated Ada program text. First, the current situation is not very different. Ada programmers cannot explicitly indicate identifiers in comments, due to lack of syntax. But they can and do mention the function of a word. Stated explicitly, it would read: procedure P (ARG : in out TYP); -- bla bla denoted by formal argument name ARG should bla bla It is customary to abbreviate this phrase: A convention of contemporary English makes us assume that a capital letter at the start of a word (or an underscore within it), occurring in the middle of a sentence, would imply an Ada item and not the word of spoken language. Alas, this implicitness doesn't work for ARG in this particular example, since the program text uses a convention of all caps for identifiers. The Ada Rapporteur Group meaning is another plausible interpretation, possibly creating further confusion in the reader's head. The convention doesn't work in some other spoken languages. It doesn't work for some words of English. The syntactical bracketing, @{ARG@}, leaves no doubt as to which entity the comment is about. > Also, I did not really understood the last sentence. He/she did not, because he/she should not or he/she don't while he/she should ? A programmer who writes @{Frmbloo@} will think that he/she is making the word Frmbloo stand for the identifier and for nothing else. Hence, there is no need to think about anything but Ada.