comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Ada.Command_Line and wildcards
Date: Fri, 09 Mar 2007 14:33:25 +0100
Date: 2007-03-09T14:32:23+01:00	[thread overview]
Message-ID: <1173447204.5618.131.camel@localhost.localdomain> (raw)
In-Reply-To: <p54pow3xk8.fsf@hod.lan.m-e-leypold.de>

On Thu, 2007-03-08 at 10:16 +0100, Markus E Leypold wrote:
> Georg Bauhaus <bauhaus@futureapps.de> writes:
> 
> > On Tue, 2007-03-06 at 16:07 +0100, Markus E Leypold wrote:
> >>  Again let me differentiate that the syntax has nothing to do
> >> with Unix design choices, that is "only" a shell thing and the shell
> >> can be replaced (already has more than once).
> >
> > Well, I find it difficult to imagine Unix without the
> > programmable shells, intended to be used as glue between the
> 
> Aaaargh!! Did I say that? No, no, no! I said "replaced", not
> abandoned.

I don't argue against using Unix, and not against configuring
Unix work environments either. The whole thread is about the 
consequences of some longstanding Unix design choices which
then established what can know be termed the Unix design.
Text substitution is still part of every successor design.

I really do know how to melt and loosen Unix design choices
and replace these choices with things I need today, on my machine.
  *BUT*:
(1) Textual substitution as in the original Unix design keeps
having consequences today, with or without new shells, with or
without pattern expansion. This is just a fact of life with Unix,
by design.
(2) Omissible text has consequences today, by design.

These are the design choices in question, see the prior postings
to this thread.

Suggesting replacement parts for pieces of Unix really means
suggesting to change its design. It isn't turned into Windows NT
by these changes, but someone coming from Unix will have to
learn how to use the new parts.

You keep listing perfect examples of how to improve on the Unix design,
by replacing parts of the design (e.g. different shells, hence
differently designed shells), new features, or by suggesting
to configure environments should it be necessary to overcome
default settings as per design. Fine. So the original design
has its flaws. (BTW, it is part of the design of
Unix that I *can* do these things. There is very little one
can comfortably do in this regard using cmd.exe without
extensions.)

By analogy, if we were talking about why they chose to make "tagged"
a keyword during the Ada 9X process and not make every type implicitly
tagged, we are talking about the Ada design (choices). For the notion
of Ada design, it doesn't matter that there can be Ada-like languages
that have implicit tags for every type. And it doesn't matter that I
can use Ada without Ada.Text_IO, or without tagged types; both are part
of the Ada design, no matter what. And this has consequences and
I have to know them, for good or bad.

Both Unix and Ada are entire things. (See e.g. Kernighan/Pike 1984).
You don't have to use either Unix or Ada in their entirety; you can
replace some parts, which is good.
If you used an encoding aware string type in place of Standard.STRING
etc, your program might be better, but you don't change the Ada
design choice for String types. You only avoid the consequences of the
original design. So the original design has consequences. Some
parts of the original design are just irreplaceable.

By turning off shell expansion, no one can change the Unix design
which offers shell expansion. (I doubt it is really used as just an
option in typical Unix use, but rather taken for granted.)
In particular, some parts of Unix design are just hard wired, as
you have demonstrated a number of times by informing us about your
knowledge of the many wires (mechanisms).



> Thanks for sharing that story with us. The conclusion for a more
> general view on Unix is ... -- Please complete the following sentence:
> 
>   Georg B spents almost half the day preparing a cron Job. From that
>   we must conlude that Unix __________.

I'll appreciate your view, although I trust no one will hurry to infer
Unix design properties from my having fun when working with Unix.

> Thanks.



>  What does that tell us?

[REXX, scsh, etc.] It tells about alternative designs. About a way
to compare design choices by their consequences. About what can be
done when it comes to successor designs.


> But I'm certain, I'm missing some finely spun argument here

Yes. I think you are missing the argument of this thread. That the
parts that make up Unix, with Bourne shell and C shell and expansions,
could have been designed differently in the past WRT how to
use textual substitution and WRT the amount of omissible text.
Much like "creat" (without the final letter 'e') could have been
named differently, as told by its creator.

Or should I accept that the Unix design was flawless in the
first place, and that programmers should just have learned
to omit the final letter from the word "create"? I think this
example is representative of some Unixisms. They are fun, but not
to be repeated as designed.


>  Again we're back to wether a
> user/programmer can be bother to learn his tools.

We are back to whether a design choice makes using a system
more or less work. Whether it has more pitfalls, requires more or
less configuration, more or less training to achieve the same
level of productivity, etc..


(BTW, are you saying that the expression argv[1] is not used when
reading arguments from the command line?)





  reply	other threads:[~2007-03-09 13:33 UTC|newest]

Thread overview: 158+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-02-21 20:43 Ada.Command_Line and wildcards Gautier
2007-02-21 20:59 ` (see below)
2007-02-22  1:13   ` Marc A. Criley
2007-02-22  2:08   ` Adam Beneschan
2007-02-22  5:59     ` (see below)
2007-02-22  8:16   ` gautier_niouzes
2007-02-22 10:25     ` Simon Wright
2007-02-22 11:02     ` Alex R. Mosteo
2007-02-24  6:34       ` Martin Krischik
2007-02-24 11:46         ` Markus E Leypold
2007-02-24 14:54           ` Georg Bauhaus
2007-02-24 16:45             ` Markus E Leypold
2007-02-24 20:08               ` Jacob Sparre Andersen
2007-02-24 20:45                 ` Georg Bauhaus
2007-02-25  0:39                   ` Björn Persson
2007-02-25 16:29                   ` Martin Krischik
2007-02-24 20:26               ` Georg Bauhaus
2007-02-25  7:46               ` Hyman Rosen
2007-02-25 13:19                 ` Georg Bauhaus
2007-03-05  1:07             ` Brian May
2007-03-05  1:39               ` Markus E Leypold
2007-03-06  3:48                 ` Brian May
2007-03-05 12:16               ` Georg Bauhaus
2007-03-05 13:20                 ` Markus E Leypold
2007-03-06 12:56                   ` Georg Bauhaus
2007-03-06 15:07                     ` Markus E Leypold
2007-03-07 22:06                       ` Georg Bauhaus
2007-03-08  5:07                         ` Simon Wright
2007-03-08  9:19                           ` Markus E Leypold
2007-03-08  9:28                           ` Georg Bauhaus
2007-03-08  9:16                         ` Markus E Leypold
2007-03-09 13:33                           ` Georg Bauhaus [this message]
2007-03-09 17:11                             ` Markus E Leypold
2007-03-09 18:22                               ` Dmitry A. Kazakov
2007-03-09 19:02                                 ` Markus E Leypold
2007-03-09 20:04                                   ` Dmitry A. Kazakov
2007-03-10 10:40                                     ` Markus E Leypold
2007-03-11  0:15                                 ` Hyman Rosen
2007-03-11  7:59                                   ` Dmitry A. Kazakov
2007-03-11 14:55                                     ` Markus E Leypold
2007-03-12 13:32                                     ` Hyman Rosen
2007-03-12 14:14                                       ` Dmitry A. Kazakov
2007-03-12 15:08                                         ` Markus E Leypold
2007-03-16  8:06                                           ` Brian May
2007-03-16 12:53                                             ` Markus E Leypold
2007-03-10  2:12                               ` Randy Brukardt
2007-03-10 10:52                                 ` Markus E Leypold
2007-03-10 15:48                               ` Georg Bauhaus
2007-03-10 18:11                               ` Jacob Sparre Andersen
2007-03-10 18:42                                 ` Markus E Leypold
2007-03-12 14:25                                   ` Jacob Sparre Andersen
2007-03-12 15:17                                     ` Markus E Leypold
2007-03-09 13:41                       ` Robert Deininger
2007-03-09 17:15                         ` Markus E Leypold
2007-03-09 18:58                           ` Larry Kilgallen
2007-03-10 10:27                             ` Markus E Leypold
2007-03-06 15:08                     ` Jacob Sparre Andersen
2007-03-07 19:21                     ` Hyman Rosen
2007-03-07 20:27                       ` Markus E Leypold
2007-03-07 21:12                       ` Georg Bauhaus
2007-03-06  3:07                 ` Brian May
2007-02-24 18:28           ` Martin Krischik
2007-02-24 13:04         ` Larry Kilgallen
2007-02-24 16:16           ` Markus E Leypold
2007-02-25 14:18             ` Larry Kilgallen
2007-03-05  1:03         ` Brian May
2007-03-05 10:34           ` Martin Krischik
2007-03-05 20:46             ` Simon Wright
2007-02-22 11:19     ` Jean-Pierre Rosen
2007-02-22 13:49       ` Maciej Sobczak
2007-02-22 14:25         ` Jean-Pierre Rosen
2007-02-22 15:12           ` Larry Kilgallen
2007-02-22 15:15           ` Ludovic Brenta
2007-02-22 15:54             ` Dmitry A. Kazakov
2007-02-22 18:26               ` Markus E Leypold
2007-02-22 19:34                 ` Dmitry A. Kazakov
2007-02-22 20:38                   ` Simon Wright
2007-02-23  8:43                     ` Dmitry A. Kazakov
2007-02-25 16:35                 ` wildcards with unix shells Martin Krischik
2007-02-22 16:20             ` Ada.Command_Line and wildcards Jean-Pierre Rosen
2007-02-22 18:34               ` Markus E Leypold
2007-02-22 19:30                 ` Niklas Holsti
2007-02-23  1:01                 ` Randy Brukardt
2007-02-23  4:44                   ` Jeffrey R. Carter
2007-02-23  5:06                   ` Anders Wirzenius
2007-02-24 16:37                     ` Simon Wright
2007-02-25 16:42                       ` Martin Krischik
2007-02-26 20:51                         ` Simon Wright
2007-02-27  7:11                           ` Martin Krischik
2007-02-27 21:32                             ` Björn Persson
2007-02-27 21:56                               ` Georg Bauhaus
2007-02-27 22:53                                 ` Markus E Leypold
2007-02-28 13:55                                   ` Georg Bauhaus
2007-02-28 14:25                                     ` Markus E Leypold
2007-02-26 11:59                       ` Anders Wirzenius
2007-02-26 14:46                         ` Larry Kilgallen
2007-02-23  8:43                   ` Jacob Sparre Andersen
2007-02-23 11:34                     ` Jean-Pierre Rosen
2007-02-24 13:40                       ` Jacob Sparre Andersen
2007-02-25 16:57                     ` Martin Krischik
2007-02-26 21:27                       ` Björn Persson
2007-02-27  7:18                         ` Martin Krischik
2007-02-23  8:49                 ` Jean-Pierre Rosen
2007-02-23  9:29                   ` Jacob Sparre Andersen
2007-02-22 17:07       ` Adam Beneschan
2007-02-22 18:40         ` Markus E Leypold
2007-02-23 10:47         ` Rob Norris
2007-02-23 13:28         ` brian.b.mcguinness
2007-02-23 13:56           ` Georg Bauhaus
2007-02-23 17:10           ` Adam Beneschan
2007-02-22 20:12       ` Gautier
2007-02-23  1:15       ` Robert A Duff
2007-02-23  9:25         ` Jacob Sparre Andersen
2007-02-24  1:18           ` typed pipes (was: Ada.Command_Line and wildcards) Björn Persson
2007-02-24  8:16             ` typed pipes Dmitry A. Kazakov
2007-02-24 13:37             ` Jacob Sparre Andersen
2007-02-24 16:33               ` Björn Persson
2007-02-24 20:17                 ` Jacob Sparre Andersen
2007-02-25  1:11                   ` Björn Persson
2007-02-25  7:03                     ` Jacob Sparre Andersen
2007-02-23 14:45         ` Ada.Command_Line and wildcards Larry Kilgallen
2007-02-24 19:24           ` Robert A Duff
2007-02-25  6:29             ` Hyman Rosen
2007-02-25 12:21               ` Robert A Duff
2007-02-25 16:22                 ` Pascal Obry
2007-02-25 16:44                   ` Dmitry A. Kazakov
2007-02-26  5:03                     ` Hyman Rosen
2007-02-26  8:44                       ` Dmitry A. Kazakov
2007-02-26 17:11                         ` Hyman Rosen
2007-02-26 17:34                           ` Markus E Leypold
2007-02-27 16:13                             ` Georg Bauhaus
2007-02-27 16:19                               ` Markus E Leypold
2007-02-27 16:39                                 ` Georg Bauhaus
2007-02-27 17:56                                   ` Markus E Leypold
2007-02-27 20:29                               ` Randy Brukardt
2007-02-26 20:30                           ` Dmitry A. Kazakov
2007-02-27  0:34                       ` Randy Brukardt
2007-02-27 14:52                         ` Hyman Rosen
2007-02-27 20:43                           ` Randy Brukardt
2007-02-27 20:56                           ` Dmitry A. Kazakov
2007-02-25 17:50                 ` Jeffrey R. Carter
2007-02-23 16:58         ` Adam Beneschan
2007-02-23 19:12           ` Hyman Rosen
2007-02-23 19:26             ` Adam Beneschan
2007-02-25 17:05               ` Martin Krischik
2007-02-24  1:19           ` Björn Persson
2007-02-24  3:46             ` Adam Beneschan
2007-02-24 11:42               ` Markus E Leypold
2007-02-25 17:02             ` Martin Krischik
2007-02-23 19:04         ` Hyman Rosen
2007-02-23 19:30           ` Adam Beneschan
2007-02-23 19:46             ` Dmitry A. Kazakov
2007-02-23 20:07             ` Markus E Leypold
2007-02-24  1:18             ` Björn Persson
2007-02-24 19:22           ` Robert A Duff
2007-02-24 20:26             ` Dmitry A. Kazakov
2007-02-25  7:32             ` Hyman Rosen
2007-02-21 21:43 ` Dr. Adrian Wrigley
replies disabled

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