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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ac4955b8006bd13c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.196.232 with SMTP id ip8mr13058531pbc.6.1338885639054; Tue, 05 Jun 2012 01:40:39 -0700 (PDT) Path: l9ni5202pbj.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!usenet-fr.net!gegeweb.org!news.chainon-marquant.org!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Tue, 05 Jun 2012 10:40:36 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Q: type ... is new String References: <82defba0-2d39-4418-b678-ebbefeb105d7@x21g2000vbc.googlegroups.com> <4fcccd1f$0$6583$9b4e6d93@newsspool3.arcor-online.net> <4fccdd0c$0$6578$9b4e6d93@newsspool3.arcor-online.net> <4fcd20dd$0$9519$9b4e6d93@newsspool1.arcor-online.net> <1tr1nuc1xy9mp$.d5s1fz9vuczz.dlg@40tude.net> In-Reply-To: <1tr1nuc1xy9mp$.d5s1fz9vuczz.dlg@40tude.net> Message-ID: <4fcdc605$0$9524$9b4e6d93@newsspool1.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 05 Jun 2012 10:40:37 CEST NNTP-Posting-Host: 4f0fadf9.newsspool1.arcor-online.net X-Trace: DXC==`HO>S1`5GNlU`@c^jLCbJic==]BZ:afN4Fo<]lROoRAnkgeX?EC@@@USa^hhA5AYJnc\616M64>JLh>_cHTX3jMSK_iSlabRMM X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-06-05T10:40:37+02:00 List-Id: On 05.06.12 09:32, Dmitry A. Kazakov wrote: > On Mon, 04 Jun 2012 22:56:01 +0200, Georg Bauhaus wrote: > >> On 04.06.12 19:05, Dmitry A. Kazakov wrote: > >>> There is nothing ambiguous in character encoding, >> >> In processing data from any source that speaks HTTP, you don't really know >> the character encoding: you may be told the encoding is X but actually it >> is Y. > > <=> I do know the encoding. You snipped the part that explained how this "knowledge" isn't knowledge. It is in a state of flux and occasionally crystallizes to yield Heisentypes. ;-) (All I see is subsequences of 2#bbbb_bbbb#. For the AI part, I am told to produce the most likely information that the originator might have intended to send.) > You are trying to pursue some absolute truth, e.g. "true encoding" of a > broken page, which simply does not exist and is irrelevant. I am the one to create the truth, the valuable information. Like I am the one to guess the correct interpretation of calendar date 5/6/7. > Note again a connection to error checks: the program shall not check > itself. A consequence of this: if you use an input it is not your > responsibility to make guesses. Yes, it is, making guesses is precisely what I'm told to do. > If you want to add some encoding guessing layer, do it just elsewhere. Too late. Too many additional decisions that create a large set of types in layers that isn't lightweight enough to handle within the constraints of the job. And the process of type creation will need backtracking triggered by unexpected events. >>> For each possible input >>> there is a defined output the parser should spill. Where is a problem? >> >> Here is the problem: There is no complete description of the set of >> possible inputs. > > See, that is the problem. People didn't do their job. No, they did their job. What they did might not be like what I wish they had done. But a doctor cannot sit back and accuse the patients of having ruined their own health. *That* is irrelevant. > Nope, things changing are as irrelevant as the computer's relative position > to Proxima Centauri. So what is the outline of a type that describes a file naming scheme that has changed?