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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no 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,ASCII Path: g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: AWS Coding Styles (and about boring plain-linear text files in the end) Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <3077fffa-eed7-4763-8bca-9ac3bb0a41e1@o14g2000prn.googlegroups.com> <82y66ihc0i.fsf@stephe-leake.org> <4d355532$0$6878$9b4e6d93@newsspool2.arcor-online.net> <8b58b9da-a014-4a0e-8d20-ca86a4993961@h17g2000pre.googlegroups.com> Date: Wed, 19 Jan 2011 23:20:16 +0100 Message-ID: <11bpcv80ttg.1hna4dtligrlm.dlg@40tude.net> NNTP-Posting-Date: 19 Jan 2011 23:20:09 CET NNTP-Posting-Host: 0fd101d3.newsspool4.arcor-online.net X-Trace: DXC=V[Vfe@@9^oN=8m7nZkdN^@4IUKRHY5=85PflYbJ X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:17544 Date: 2011-01-19T23:20:09+01:00 List-Id: On Wed, 19 Jan 2011 22:43:33 +0100, Yannick Duch�ne (Hibou57) wrote: > The natural language is known to be redundant and these redundancies vary. Yes. So are most of artificial languages too. To put it simple: a random sequence of ASCII characters is not a legal program. A random sequence of phonemes is not a speech. > The second example is about to be implicit. There is a more or less > constant context in natural language, Right, and artificial languages are no different either. You always have a context, scope, state you implicitly refer to. There is just no other way to have it. The context = the internal state of the reader, be it you, me Ada compiler or Martians. > With a language like Ada (or Lisp, or Python or whatever), while very > nice, none of the above applies: an error is an error and there is nothing > which gonna make it somewhat obvious to your eyes. You are confusing here sematic errors and language errors [syntax, grammar etc]. "The gostak distims the doshes" "Colorless green ideas sleep furiously" are famous examples of syntactically correct meaningless sentences. Is here something helping you to do something with them? declare type Four is range 1..4: X : Four := 45.7; -- You well know what is wrong here begin ... > Now, what checks did you applied while reading me ? What implicit truths > did you had in mind for you inferences and understanding ? And above all, > how did you interpreted this in the whole ? You see ? ;) Would be funny to > see, but we may even never ever see. If you did not interpreted this the > way I wanted to mean it, you will not crash, I will not crash, and we will > probably recover (may not be consciously), re-sync in many ways, and many > other funny behaviors. That's just a third example of the difference > between this kind of natural language and formal languages. This is a false analogy. Human brain is not a program, it is a processor. Nothing wrong happens with your computer if you feed it with an illegal Ada program. It is accepted or rejected in some way. So does the human brain, you have a choice to accept (understand, agree) or not, maybe mistakenly or rightfully. No difference whatsoever. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de