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 15:14:29 +0200
Date: 2012-06-05T15:14:29+02:00	[thread overview]
Message-ID: <1k5szjkkjawng$.1dj53b7skmtyc.dlg@40tude.net> (raw)
In-Reply-To: 4fcdf97f$0$9521$9b4e6d93@newsspool1.arcor-online.net

On Tue, 05 Jun 2012 14:20:14 +0200, Georg Bauhaus wrote:

> On 05.06.12 11:06, Dmitry A. Kazakov wrote:
> 
>>> (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.
> 
> How is producing the most likely information from a piece
> of data bad design?

Good design is not based on likelihood... and information is not
"produced."

> And who am I to say "I don't do that"?

And who are you to say "I do that"?

You, as a programmer, are someone to make decisions. You cannot refrain
from choosing.

>> 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.
> 
> What is going on in someone's head is precisely the information
> I am looking for. It so happens that this includes resource
> identifiers, and here, too, I need to guess the right one, because
> the transport layer conveys mistakes, omissions, and
> quadruped-on-the-keyboard-effects correctly.

Really? When last time you saw web page errors caused by the transport?

> And, again, I must rely on guesses in order to construct objects
> from input, and will reconstruct them again, and again.

No, you must not and shall not. This attitude is the core problem: guesses
that buffer does not overflow etc. I see this as the problem. Not buffer
overflows, but guesses that it would not!

> I can make a sufficiently simple type for URIs, signifying nothing,

Programming is about locally trivial things...

>> For broken design it is always too late. Fix the design.
> 
> The design as a whole is not in our hands, I should think. The design
> is as is, dictated by a combination of current input and time available.

Usual excuses...

>> How an incomplete definition is job done?
> 
> If
> - foreign company's management says "Job done!" and
> - foreign company works profitably,
> = then an incomplete definition means job done.

No, it does not mean that. Business job might be done, the job of putting
down specifications is not. You could also argue that the programming job
is done because there is no man-power available, somebody stolen the
computers or a meteorite extinguished all life on the earth. It is not
done, is a commentary why it was not.

Anyway, do I understand correctly that you changed your point from lack of
AI to blame, to laziness and ill will of some evil foreigners? (:-))

>> Why should I care about description of naming schemes? I need a set of
>> types describing file name valid in some specified environment.
> 
> Whenever there is a sufficient specification of an environment, fine.
> 
> Just saying that web documents are an example of when a specification
> might be insufficient, if it exists at all.

Specification [in]sufficient for what?

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



  reply	other threads:[~2012-06-05 13:15 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
2012-06-05 12:20                     ` Georg Bauhaus
2012-06-05 13:14                       ` Dmitry A. Kazakov [this message]
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