comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Q: type ... is new String
Date: Tue, 5 Jun 2012 11:06:18 +0200
Date: 2012-06-05T11:06:18+02:00	[thread overview]
Message-ID: <1ch26v7folac1$.1gc355i72r55j.dlg@40tude.net> (raw)
In-Reply-To: 4fcdc605$0$9524$9b4e6d93@newsspool1.arcor-online.net

On Tue, 05 Jun 2012 10:40:36 +0200, Georg Bauhaus wrote:

> 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.)

Bad design. Don't do that.

>> 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.

Maybe, but that imposes no problem on software design. The mail program
successfully transmitted "5/6/7" without making guesses. Do not conflate
well-defined functionality, e.g. "send over socket", "render calendar page
on the screen" with ill-defined stuff, like what is going on in someone's
head.

>> If you want to add some encoding guessing layer, do it just elsewhere.
> 
> Too late.

For broken design it is always too late. Fix the design.

>>>> 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.

How an incomplete definition is job done?

Now feel free to tell me that working without specifications, is the right
way to develop software...

>> 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?

Why should I care about description of naming schemes? I need a set of
types describing file name valid in some specified environment. It is not
rocket science. Before you start confusing things again, this has nothing
to do with parsing file names.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2012-06-05  9:06 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-05-30 16:33 Q: type ... is new String tmoran
2012-05-30 17:04 ` Dmitry A. Kazakov
2012-05-31  7:37 ` Maciej Sobczak
2012-06-04  5:58   ` Yannick Duchêne (Hibou57)
2012-06-04  6:30     ` J-P. Rosen
2012-06-04  7:48       ` Yannick Duchêne (Hibou57)
2012-06-04  8:03         ` Dmitry A. Kazakov
2012-06-04  8:14           ` Yannick Duchêne (Hibou57)
2012-06-04  9:09             ` Dmitry A. Kazakov
2012-06-04 10:35         ` J-P. Rosen
2012-06-04  5:43 ` Yannick Duchêne (Hibou57)
2012-06-04 11:39 ` Brian Drummond
2012-06-04 13:36   ` Maciej Sobczak
2012-06-04 14:58     ` Georg Bauhaus
2012-06-04 15:14       ` Dmitry A. Kazakov
2012-06-04 16:06         ` Georg Bauhaus
2012-06-04 17:05           ` Dmitry A. Kazakov
2012-06-04 20:28             ` Yannick Duchêne (Hibou57)
2012-06-04 20:56             ` Georg Bauhaus
2012-06-05  7:32               ` Dmitry A. Kazakov
2012-06-05  8:40                 ` Georg Bauhaus
2012-06-05  9:06                   ` Dmitry A. Kazakov [this message]
2012-06-05 12:20                     ` Georg Bauhaus
2012-06-05 13:14                       ` Dmitry A. Kazakov
2012-06-06  4:09                       ` Shark8
2012-06-06  8:52                         ` Georg Bauhaus
2012-06-06 23:56                       ` Randy Brukardt
2012-06-07 11:15                         ` Georg Bauhaus
2012-06-06 23:51                 ` Randy Brukardt
2012-06-04 20:33         ` Yannick Duchêne (Hibou57)
2012-06-04 21:27           ` Georg Bauhaus
     [not found]             ` <m9kqs7hgii13e220b1phm46n43d92tu1pj@invalid.netcom.com>
2012-06-05  6:15               ` Georg Bauhaus
2012-06-05  6:36                 ` Yannick Duchêne (Hibou57)
2012-06-06  4:14               ` Shark8
2012-06-07  0:01             ` Randy Brukardt
2012-06-07  0:20               ` Adam Beneschan
2012-06-05 12:05     ` Brian Drummond
2012-06-05 14:43       ` Yannick Duchêne (Hibou57)
2012-06-04 15:54   ` Shark8
2012-06-04 22:01     ` Jeffrey Carter
2012-06-05 12:10       ` Brian Drummond
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox