comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Some questions about Ada.
Date: 1996/05/04
Date: 1996-05-04T00:00:00+00:00	[thread overview]
Message-ID: <Dqvx6E.IIo@world.std.com> (raw)
In-Reply-To: dewar.831213757@schonberg


In article <dewar.831213757@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:
>I see it! I think it is terrible Ada style to be inconsistent in casing
>keywords or identifiers. In fact I think it is nice if the compiler has
>an option to prevent such sloppiness (when we compile in internal GNAT
>mode, consistent casing is enforced).

i agree.  it's not a matter of really misundERSTanding things, assuming
you know the rules.  it's just that doing things in an unconventional or
Sloppy way makes the code harder to reAD.

By the way, does the gnat switch disallow declaring two overloaded
things called, say, NonEval and NoneVal?  I assume that it merely
requires that each reference to one or the other is capitalized like its
declaration.

>However, I think that having case sensitivity in languages is a very
>bad idea. For one thing it makes it  very difficult to talk verbally about
>programs, and if people really start defining identifiers like
>Time_of_Day and Time_OF_Day to mean different things, then it damages
>readability badly.

I think it's already nearly impossible to express programs by talking,
so I don't find that argument interesting.  Whenever I'm sitting in a
design session, and somebody says a piece of a program out loud, it is
nearly always necessary to write it on the blackboard for people to
understand.

By the way, mathematicians use case sensitivity -- e.g., "Let X be the
set of all x such that x has so-and-so property."  How do mathemeticians
do that over the phone?  I suspect the answer is, they don't bother
trying.

- Bob




  parent reply	other threads:[~1996-05-04  0:00 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-05-02  0:00 Some questions about Ada Carl Laurence Gonsalves
1996-05-02  0:00 ` Dave Jones
1996-05-03  0:00   ` Darren C Davenport
1996-05-03  0:00   ` Spencer Allain
1996-05-03  0:00   ` Carl Laurence Gonsalves
1996-05-03  0:00     ` Dave Jones
1996-05-03  0:00     ` Adam Beneschan
1996-05-04  0:00       ` Carl Laurence Gonsalves
1996-05-04  0:00       ` Robert Dewar
1996-05-04  0:00         ` Richard Kenner
1996-05-04  0:00           ` Robert Dewar
1996-05-05  0:00             ` Richard Kenner
1996-05-05  0:00               ` Robert Dewar
1996-05-04  0:00         ` Kevin D. Heatwole
1996-05-04  0:00         ` Robert A Duff [this message]
1996-05-04  0:00           ` Robert Dewar
1996-05-05  0:00             ` Robert A Duff
1996-05-05  0:00               ` Arthur Evans Jr
1996-05-05  0:00                 ` Robert Dewar
1996-05-06  0:00                   ` Norman H. Cohen
1996-05-06  0:00                     ` David Weller
1996-05-07  0:00                       ` Robert Dewar
1996-05-12  0:00                         ` Geert Bosch
1996-05-05  0:00                 ` Robert Dewar
1996-05-06  0:00                 ` Christopher J. Henrich
1996-05-06  0:00         ` Norman H. Cohen
1996-05-06  0:00           ` Robert Dewar
1996-05-03  0:00     ` Michael Feldman
1996-05-03  0:00     ` Robert A Duff
1996-05-06  0:00     ` Laurent Guerby
1996-05-06  0:00   ` Matthew M. Lih
1996-05-09  0:00     ` Dave Jones
1996-05-02  0:00 ` Robert A Duff
1996-05-03  0:00 ` Laurent Guerby
1996-05-03  0:00   ` Robert A Duff
replies disabled

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