From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada generics
Date: Sat, 30 Dec 2006 10:58:38 +0100
Date: 2006-12-30T10:58:27+01:00 [thread overview]
Message-ID: <uatj6qmz9ewl.jtzbkhivhvfu$.dlg@40tude.net> (raw)
In-Reply-To: 1167421145.30532.11.camel@localhost
On Fri, 29 Dec 2006 20:39:05 +0100, Georg Bauhaus wrote:
> On Fri, 2006-12-29 at 15:48 +0100, Dmitry A. Kazakov wrote:
>
>>> Is that what computer science has to answer when asked about
>>> characters handling?
>>
>> No. CS is all about introducing formal languages in place of natural ones,
>> for obvious reasons.
>
> But Unicode and/or ISO 10646 *are* formal things.
Well, well.
>> Corollary: never ever make a formal language (Ada) dependent on a natural
>> one (German). That would make the former natural.
>
> I don't see how identifier rules are natural (not formal), whatever
> the natural language is that guides the choice of names in a
> particular program.
Because these rules are subject of endless chaotic political changes. Why
Ada should depend on them? For example, on decisions made by the German
Supreme Court, the federal Ministry of the Interior and Bild?
> Take Google as an example of why finding things that were spelled
> "incorrectly" is so immensly useful. And successful.
Do you want programming languages acting as google? PL/1? Although of
course it was unable to produce 200K+ interpretations of a three-word
program. No, as a language Google were extremely bad.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2006-12-30 9:58 UTC|newest]
Thread overview: 62+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-12-21 14:14 Ada generics markww
2006-12-21 15:42 ` Dmitry A. Kazakov
2006-12-22 7:59 ` Martin Krischik
2006-12-22 16:14 ` Hyman Rosen
2006-12-22 7:59 ` Martin Krischik
2006-12-22 16:41 ` Hyman Rosen
2006-12-22 17:33 ` Markus E Leypold
2006-12-22 18:26 ` Hyman Rosen
2006-12-22 20:59 ` Markus E Leypold
2006-12-22 21:01 ` Markus E Leypold
2006-12-23 14:09 ` Marco
2006-12-25 14:23 ` Hyman Rosen
2006-12-29 14:13 ` Marco
2006-12-25 14:20 ` Hyman Rosen
2006-12-23 11:43 ` Dmitry A. Kazakov
2006-12-25 13:49 ` Hyman Rosen
2006-12-25 14:39 ` Dmitry A. Kazakov
2006-12-26 1:34 ` Hyman Rosen
2006-12-26 9:11 ` Dmitry A. Kazakov
2006-12-26 16:23 ` Hyman Rosen
2006-12-26 19:28 ` Dmitry A. Kazakov
2006-12-27 1:44 ` Hyman Rosen
2006-12-27 9:21 ` Dmitry A. Kazakov
2006-12-27 19:06 ` Hyman Rosen
2006-12-28 10:59 ` Dmitry A. Kazakov
2006-12-28 16:29 ` Hyman Rosen
2006-12-29 11:12 ` Dmitry A. Kazakov
2006-12-29 14:56 ` Hyman Rosen
2006-12-28 17:35 ` Georg Bauhaus
2006-12-29 14:48 ` Dmitry A. Kazakov
2006-12-29 19:39 ` Georg Bauhaus
2006-12-30 9:58 ` Dmitry A. Kazakov [this message]
2006-12-30 14:53 ` Georg Bauhaus
2007-01-01 13:00 ` Dmitry A. Kazakov
2007-01-02 10:04 ` Georg Bauhaus
2007-01-02 11:11 ` Dmitry A. Kazakov
2007-01-02 12:33 ` Georg Bauhaus
2007-01-02 13:51 ` Dmitry A. Kazakov
2007-01-02 14:45 ` Georg Bauhaus
2007-01-03 10:10 ` Dmitry A. Kazakov
2007-01-03 14:20 ` Hyman Rosen
2007-01-03 14:55 ` Georg Bauhaus
2007-01-04 10:15 ` Dmitry A. Kazakov
2007-01-03 19:33 ` Alexander E. Kopilovich
2007-01-04 10:27 ` Dmitry A. Kazakov
2007-01-04 15:00 ` Alexander E. Kopilovich
2007-01-05 10:32 ` Dmitry A. Kazakov
2006-12-30 2:25 ` Randy Brukardt
2006-12-30 10:13 ` Dmitry A. Kazakov
2007-01-04 1:09 ` Randy Brukardt
2007-01-04 10:07 ` Dmitry A. Kazakov
2007-01-05 1:32 ` Randy Brukardt
2007-01-05 4:46 ` Randy Brukardt
2007-01-05 9:08 ` Jean-Pierre Rosen
2007-01-05 20:14 ` Georg Bauhaus
2007-01-06 0:14 ` Randy Brukardt
2006-12-29 0:09 ` Randy Brukardt
2006-12-29 11:11 ` Dmitry A. Kazakov
2006-12-30 2:40 ` Randy Brukardt
2006-12-21 16:55 ` Hyman Rosen
2006-12-21 18:22 ` markww
2006-12-22 3:01 ` Steve
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox