comp.lang.ada
 help / color / mirror / Atom feed
From: 18k11tm001@sneakemail.com (Russ)
Subject: Re: Manifesto against Vector
Date: 13 May 2004 18:02:00 -0700
Date: 2004-05-13T18:02:00-07:00	[thread overview]
Message-ID: <bebbba07.0405131702.7555955f@posting.google.com> (raw)
In-Reply-To: nZ6dnaivKYOgkT7dRVn-uw@megapath.net

"Randy Brukardt" <randy@rrsoftware.com> wrote in message news:<nZ6dnaivKYOgkT7dRVn-uw@megapath.net>...
> "Russ" <18k11tm001@sneakemail.com> wrote in message
> news:bebbba07.0405122123.23661b16@posting.google.com...
> > "Randy Brukardt" <randy@rrsoftware.com> wrote in message
> news:<9cadnQ6PhYWg4z_dRVn-sA@megapath.net>...
> ...
> > > > except that it is shorter, cleaner, less error prone, and easier to
> > > > read.

> The wording has too much useless verbiage. The part I left above (in
> particular) does not belong in RM wording - the RM is not trying to sell
> anyone on the benefits of a feature. (The AI needs to do that, but not the
> wording.)

OK, then put it in the AI instead. It's one line!

> ...
> > > In any case, we discussed something like 4 problems with this proposal
>  in
> > > the past. None of them are insurmountable, but they simply aren't worth
>  the
> > > effort (which is substantial). And since the the Ada 2005 effort is
> > > substantially voluteer, the effort does matter.
> >
> > I'd like to know what the 4 problems are, but I'll save you the time
> > and just ask for one non-trivial problem with having "with/use x;"
> > mean "with x; use x;" It's trivial text substitution and nothing else.
> 
> Yes, you do seem to have trouble remembering previous discussions. I suggest
> you go back and read them. One example is that "with A.B" means "with A;
> with A.B" while "use A.B" means just that; so a "simple text substitution"
> is inconsistent and likely to be confusing.

You still don't seem to get it. It's nothing more than trivial text
substitution. All the stuff about the exact meaning of "with" and
"use" is completely irrelevant here. You'd still be able to use "with"
and "use" exactly as you do now. The only difference would be the
following:

IF (IF, IF, IF, IF) you want to use "with" and "use" on the EXACT SAME
EXPRESSION, you would be able to do it with "with/use" and avoid
repeating the expression. That's it. Nothing more, nothing less. In
the Ada source files I have seen, such repeats are very common.

Now, you apparently believe that "use" is overused. So be it. You
don't have to use "use", nor would you ever be forced to use
"with/use". Personally, I consider it ridiculous to use fully
qualified library calls for basic I/O and math functions, for example.
At the same time, I don't want to clutter my code by naming packages
twice at the top of the file.

> > > In any case, no syntax tweaks are going to have the slightest impact on
> > > Ada's use/popularity. If people can adjust to gibberish syntax like Lisp
>  and
> > > C++, they certainly can handle a few quirks in Ada. Bigger issues will
>  make
> > > the difference, and few, if any of them have anything to do with the
> > > language standard.
> >
> > What I am suggesting is a trivial freebie that can only help.
> 
> This is a trivial freebie that encourages horrible Ada style. That's why
> some of us (like me) would oppose it even if it *was* free, which it is not.
> 
> > It's like the difference between a long and short URL for a website. No,
> > having a short URL is not the most important factor in the popularity
> > of a website, but you better believe it is a factor. Convenience is
> > always important, and people who deny that are rarely successful
> > selling anything. Why? Because they don't give a darn about their
> > customer.
> 
> Ada has never been about *convenience*. It is about readability, and it
> about correct programs. "Use" clauses in general are a hindrance to both of
> those goals (although they can help readability in limited circumstances).
> Because they bring in *everything* from a package, it is really only safe to
> use them on the smallest or most common things -- or to limit their
> effectiveness to a small area (which of course is certainly not going to be
> in a context clause).

Here we go again. I am perfectly willing to stipulate that "use" is
overused, but I also think that there is a perfectly good use for it
in context sections for basic I/O, math, and other standard libraries.
That's why the language allows it, I suppose. But I still fail to see
how readability is improved by forcing the reader to read the same
thing twice and verify that it is indeed the same thing. But I still
fail to see how readability is improved by forcing the reader to read
the same thing twice and verify that it is indeed the same thing. I
guess I'll just never get that one.

> Tools (such as IDEs) provide whatever convenience features are needed.
> (That's true in C++ and Java as well). If Ada has a problem, it's not enough
> good tools. Wasting time messing with the syntax is not going to help that.
> 
> In any case, I've spend far more time on this topic already than it ever has
> desired. I'm not going to spend any more -- nice talking to you again.

I'm sorry you find me so annoying. I'm really not trying to be so. I'm
just trying to make a simple point.



  parent reply	other threads:[~2004-05-14  1:02 UTC|newest]

Thread overview: 91+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-04  3:20 Manifesto against Vector Alexander E. Kopilovich
2004-05-04 16:30 ` chris
2004-05-04 17:19   ` Marius Amado Alves
2004-05-04 20:40     ` Peter C. Chapin
2004-05-04 20:58       ` Xenos
2004-05-07  8:05         ` Ranges in C++ Martin Krischik
2004-05-07 23:18           ` James Rogers
2004-05-08  6:45             ` Martin Krischik
2004-05-10 16:19             ` Xenos
2004-05-10 18:04               ` Martin Krischik
2004-05-10 19:03                 ` Xenos
2004-05-11  5:59                   ` Martin Krischik
2004-05-04 17:16 ` Manifesto against Vector Jeffrey Carter
2004-05-04 18:24   ` Marius Amado Alves
2004-05-04 19:17     ` Xenos
2004-05-04 19:53       ` Marius Amado Alves
2004-05-05  9:24       ` Georg Bauhaus
2004-05-05  5:28     ` Russ
2004-05-05  7:01       ` tmoran
2004-05-05 17:37       ` Martin Dowie
2004-05-06  3:42         ` Russ
2004-05-06  5:55           ` Martin Dowie
2004-05-06  7:03           ` Jean-Pierre Rosen
2004-05-06  9:29             ` Dmitry A. Kazakov
2004-05-06  9:41               ` Vinzent 'Gadget' Hoefler
2004-05-06 12:44                 ` Dmitry A. Kazakov
2004-05-06 13:30                   ` Vinzent 'Gadget' Hoefler
2004-05-06 14:35                     ` Wes Groleau
2004-05-07  8:23                     ` Dmitry A. Kazakov
2004-05-07 12:38                       ` Vinzent 'Gadget' Hoefler
2004-05-09 20:34                         ` Dmitry A. Kazakov
2004-05-10  8:26                           ` Vinzent 'Gadget' Hoefler
2004-05-10 12:13                             ` Dmitry A. Kazakov
2004-05-06 14:48                   ` Georg Bauhaus
2004-05-07  8:31                     ` Dmitry A. Kazakov
2004-05-07 14:30                       ` Georg Bauhaus
2004-05-09 20:33                         ` Dmitry A. Kazakov
2004-05-12 19:49                       ` Randy Brukardt
2004-05-07  7:01                   ` Martin Krischik
2004-05-06  9:55               ` with and use again (was: Manifesto against Vector) Marius Amado Alves
2004-05-06 12:04                 ` Dmitry A. Kazakov
2004-05-07  6:53                   ` Martin Krischik
2004-05-09 20:33                     ` Dmitry A. Kazakov
2004-05-10  7:00                       ` Martin Krischik
2004-05-10 12:15                         ` Dmitry A. Kazakov
2004-05-07 16:27                 ` with and use again Warren W. Gay VE3WWG
2004-05-06 19:53               ` Manifesto against Vector Jean-Pierre Rosen
2004-05-07  0:42                 ` Jeffrey Carter
2004-05-07  6:49                   ` Jean-Pierre Rosen
2004-05-07 18:20                     ` Jeffrey Carter
2004-05-07 19:15                       ` Simon Wright
2004-05-10  6:49                       ` Jean-Pierre Rosen
2004-05-10 17:25                         ` Jeffrey Carter
2004-05-11 13:25                           ` Jean-Pierre Rosen
2004-05-07  5:00               ` Simon Wright
2004-05-07  6:40               ` Martin Krischik
2004-05-07 16:25               ` Warren W. Gay VE3WWG
2004-05-07  6:33             ` Martin Krischik
2004-05-06 14:28           ` Wes Groleau
2004-05-07  5:15             ` Russ
2004-05-10 11:55               ` Martin Dowie
2004-05-12 19:44                 ` Randy Brukardt
2004-05-12 19:42               ` Randy Brukardt
2004-05-13  5:23                 ` Russ
2004-05-13  5:48                   ` Randy Brukardt
2004-05-13 14:43                     ` Robert I. Eachus
2004-05-14  1:02                     ` Russ [this message]
2004-05-07  6:29           ` with use - again [Was: Manifesto against Vector] Martin Krischik
2004-05-07 11:18             ` Manuel Collado
2004-05-07 14:37               ` Georg Bauhaus
2004-05-07 13:41             ` Mark Lorenzen
2004-05-07 13:06               ` Martin Krischik
2004-05-05 19:45       ` Manifesto against Vector Marius Amado Alves
2004-05-04 18:42   ` Ada.Containers names Marius Amado Alves
2004-05-05 23:21   ` Manifesto against Vector Robert I. Eachus
2004-05-07  4:55 ` Matthew Heaney
2004-05-10  4:10   ` Matthew Heaney
2004-05-12  7:41     ` Pascal Obry
2004-05-12 12:11       ` Matthew Heaney
2004-05-12 12:50       ` Matthew Heaney
2004-05-10  6:41 ` Martin Krischik
2004-05-10 17:41   ` Jeffrey Carter
2004-05-11  1:29     ` Matthew Heaney
2004-05-11 20:53       ` Alexander E. Kopilovich
     [not found]       ` <XRVrJe0vzF@VB1162.spb.edu>
2004-05-11 22:26         ` Marius Amado Alves
2004-05-11  5:55     ` Martin Krischik
     [not found] <PnHmmb05QD@VB1162.spb.edu>
2004-05-04  9:07 ` Marius Amado Alves
2004-05-04 13:08   ` (see below)
2004-05-04 15:16     ` Martin Dowie
2004-05-05 13:21       ` Kevin Hostelley
2004-05-05 13:53         ` Georg Bauhaus
replies disabled

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