comp.lang.ada
 help / color / mirror / Atom feed
* no title
@ 2003-06-02  7:55 And838N
  2003-06-02  8:09 ` Preben Randhol
                   ` (4 more replies)
  0 siblings, 5 replies; 190+ messages in thread
From: And838N @ 2003-06-02  7:55 UTC (permalink / raw)
  To: comp.lang.ada

Bobby Bryant wrote:
>Also, it's not uncommon to find someone who tries to do "cute" things to
>optimize some local operation for speed, but then embeds it in a horribly
>inefficient exponential-time algorithm.

yeah, like bubble sort in assembler.  I shouldn't laugh.  I'll probably make this mistake once, and hopefully ONLY once.

Thanks Robert for the information!  There is a lot there for me to investigate and learn!

In my "learning session" today I noticed that a lot of the current Ada procedures and functions (dare I call them methods?) have those pesky '_'s in them.  Any plans in Ada200x for case sensitivity?  Maybe a command line flag if you want to have case sensitivity.

The syntax could be less finger stretchy with all the '_'s and we could have toUnboundedString instead of to_unbounded_string.  You could have x: Integer; and X: Integer;!!  What a bonus right?!  Just a thought.

Thanks again for the help!

Andrew







__________________________________________________________________
McAfee VirusScan Online from the Netscape Network.
Comprehensive protection for your entire computer. Get your free trial today!
http://channels.netscape.com/ns/computing/mcafee/index.jsp?promo=393397

Get AOL Instant Messenger 5.1 free of charge.  Download Now!
http://aim.aol.com/aimnew/Aim/register.adp?promo=380455



^ permalink raw reply	[flat|nested] 190+ messages in thread
* RE: Case sensitivity (was Re: no title)
@ 2003-06-04 16:30 Lionel.DRAGHI
  2003-06-04 17:57 ` Hyman Rosen
  0 siblings, 1 reply; 190+ messages in thread
From: Lionel.DRAGHI @ 2003-06-04 16:30 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Hyman Rosen [mailto:hyrosen@mail.com]
...
| How does case sensitivity increase bugs?
Take a look at the unmaintanable code howto. Some of the funny code
obfuscation examples use case sensitivity.



^ permalink raw reply	[flat|nested] 190+ messages in thread
* RE: Case sensitivity (was Re: no title)
@ 2003-06-05  9:07 Lionel.DRAGHI
  2003-06-05 14:13 ` Hyman Rosen
  2003-06-05 17:30 ` Wesley Groleau
  0 siblings, 2 replies; 190+ messages in thread
From: Lionel.DRAGHI @ 2003-06-05  9:07 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Hyman Rosen [mailto:hyrosen@mail.com]
...
| 
| Lionel.DRAGHI@fr.thalesgroup.com wrote:
|  > Some of the funny code obfuscation examples
|  > use case sensitivity.
| 
| Deliberately bad code is hardly a justification.

Deliberately or not, those bugs are just impossible in Ada.

Except for upward compatibility with C, and fortunatly this doesn't apply to
Ada, case sensitivity has no Pros, just Cons. 
Why on earth would you waste your time evaluating the Cons?

-- 
Lionel




^ permalink raw reply	[flat|nested] 190+ messages in thread
* RE: Case sensitivity (was Re: no title)
@ 2003-06-05  9:21 Lionel.DRAGHI
  2003-06-05 14:14 ` Hyman Rosen
  2003-06-05 17:31 ` Stephen Leake
  0 siblings, 2 replies; 190+ messages in thread
From: Lionel.DRAGHI @ 2003-06-05  9:21 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Hyman Rosen [mailto:hyrosen@mail.com]
...
| 
| We want to take advantage of case sensitivity in a good way,
| using the commonality of spelling but the distinction of case
| as a way of communicating with the reader of the code. Ada
| cannot mandate a good choice of names, but has prevented a
| potential good choice of names on the grounds of trying to
| eliminate one small set of possible bad choices.
Your code example is pretty, but using different names instead of different
casing is as easy and less error prone.
So, Ada has prevented an always bad choice. 



^ permalink raw reply	[flat|nested] 190+ messages in thread
* RE: Case sensitivity (was Re: no title)
@ 2003-06-10 11:14 Lionel.DRAGHI
  0 siblings, 0 replies; 190+ messages in thread
From: Lionel.DRAGHI @ 2003-06-10 11:14 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Stephen Leake [mailto:Stephe.Leake@nasa.gov]
...
| 
| Some people don't like the _Type, and do something else:
| 
| type Lists is ...
| 
| procedure Foo (List : in Lists);
| 
| In a case sensitive language, this could be:
| 
| type List is ...
| 
| procedure Foo (list : in List);

Using _t or _type for the type, or the_ for the formal parameter is easy.
Some people may find this ugly, but, as you said, this hardly weight the
readability argument.

-- 
Lionel Draghi



^ permalink raw reply	[flat|nested] 190+ messages in thread
* RE: Case sensitivity (was Re: no title)
@ 2003-06-11 10:48 Lionel.DRAGHI
  0 siblings, 0 replies; 190+ messages in thread
From: Lionel.DRAGHI @ 2003-06-11 10:48 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Hyman Rosen [mailto:hyrosen@mail.com]
..
| Underline all you want. Of course this is just a style
| issue! If Ada had decided to forbid the letter 'e' in
| identifiers, it would still be a perfectly good language,
| but it would annoy people who want to use that letter and
| can't.
So not so perfect. 

| Instead, we have a language which considers
| Get_String and get_string but not GetString to be identical,
| and distinguishes between F00L and FOOL. I consider that
| perfectly arbitrary. If you insist upon insensitivity, I
| would ban digits from identifiers, and allow '_' as a
| non-semantic separator between letters just like it is used
| in Ada numbers.

Considering programming as a human activity is why Ada is a better langage.

- A normal human is used to read "get string", not "getstring". Identifer
with space is practically not possible, so the underscore do the job.
Get_String is still far easier to read than GetString. 
- A normal human will easily miss the "List" vs "list" difference, but he
won't confuse "List" and "The_List".
- A normal human prefer to read a phone number formatted 098 983 423 instead
of 098983423.
- A normal human understand "get string" exactly the same way than "Get
String". Allowing them to have different meaning is just setting traps.

Ada avoid traps as much as possible, increase readability as much as
possible, and without drawbacks.

-- 
Lionel Draghi.







^ permalink raw reply	[flat|nested] 190+ messages in thread

end of thread, other threads:[~2003-06-12 21:58 UTC | newest]

Thread overview: 190+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-06-02  7:55 no title And838N
2003-06-02  8:09 ` Preben Randhol
2003-06-02 10:41   ` Case sensitivity (was Re: no title) Sergey Koshcheyev
2003-06-02 11:03     ` Bobby D. Bryant
2003-06-02 11:12     ` Preben Randhol
2003-06-02 11:56       ` Sergey Koshcheyev
2003-06-02 12:46         ` Bobby D. Bryant
2003-06-02 13:50           ` Sergey Koshcheyev
2003-06-02 14:35             ` Preben Randhol
2003-06-02 14:51               ` Sergey Koshcheyev
2003-06-02 14:52               ` Bill Findlay
2003-06-02 20:36               ` Alexander Kopilovitch
2003-06-02 12:55         ` Preben Randhol
2003-06-02 12:58           ` Preben Randhol
2003-06-02 13:54             ` Sergey Koshcheyev
2003-06-02 14:44               ` Preben Randhol
2003-06-02 15:06                 ` Sergey Koshcheyev
2003-06-02 15:42                   ` Preben Randhol
2003-06-03  1:15                 ` Randy Brukardt
2003-06-03  3:47                   ` John R. Strohm
2003-06-03 11:36                     ` Preben Randhol
2003-06-03 15:05                       ` Robert I. Eachus
2003-06-03 20:12                         ` Randy Brukardt
2003-06-05  1:48                           ` Robert I. Eachus
2003-06-03 16:25                       ` David C. Hoos
2003-06-02 13:24     ` Arthur Evans Jr
2003-06-02 13:38       ` Sergey Koshcheyev
2003-06-02 15:20         ` Robert C. Leif
2003-06-02 15:33           ` Larry Kilgallen
2003-06-03  1:35             ` Randy Brukardt
2003-06-05 17:30           ` Larry Hazel
2003-06-05 17:55           ` Hyman Rosen
2003-06-08  1:52       ` AG
2003-06-08  3:24         ` Hyman Rosen
2003-06-08  4:36           ` AG
2003-06-08  4:39             ` Hyman Rosen
2003-06-02 15:48     ` Martin Dowie
2003-06-02 18:18     ` Mike Silva
2003-06-02 18:29       ` Hyman Rosen
2003-06-02 18:40         ` tmoran
2003-06-02 18:51           ` Bobby D. Bryant
2003-06-02 21:24             ` Mike Silva
2003-06-03  3:50             ` John R. Strohm
2003-06-03  9:29             ` Georg Bauhaus
2003-06-02 19:02           ` Hyman Rosen
2003-06-02 20:28             ` tmoran
2003-06-03  9:33             ` Georg Bauhaus
2003-06-02 19:06           ` Georg Bauhaus
2003-06-03  3:49           ` John R. Strohm
2003-06-03  7:42           ` Jean-Pierre Rosen
2003-06-02 21:21         ` Mike Silva
2003-06-02 21:56           ` Hyman Rosen
2003-06-02 22:56             ` Larry Kilgallen
2003-06-02 23:30             ` Preben Randhol
2003-06-08  2:26             ` AG
2003-06-03  7:41       ` Jean-Pierre Rosen
2003-06-03 14:06         ` Hyman Rosen
2003-06-03 14:31           ` Preben Randhol
2003-06-03 14:49             ` Hyman Rosen
2003-06-03 16:29           ` Jean-Pierre Rosen
2003-06-03 18:06             ` Hyman Rosen
2003-06-03 18:34           ` Mike Silva
2003-06-03 18:53             ` Hyman Rosen
2003-06-04 10:41               ` Preben Randhol
2003-06-04 14:11                 ` Hyman Rosen
2003-06-04 15:48                   ` Preben Randhol
2003-06-04 16:03                     ` Hyman Rosen
2003-06-04 16:24                       ` Preben Randhol
2003-06-04 17:30                         ` Hyman Rosen
2003-06-04 17:36                           ` Preben Randhol
2003-06-04 17:52                             ` Hyman Rosen
2003-06-04 17:05                     ` Larry Kilgallen
2003-06-04 17:45                       ` Hyman Rosen
2003-06-05 17:23                         ` Stephen Leake
2003-06-05 17:51                           ` Hyman Rosen
2003-06-06  1:24                           ` James Rogers
2003-06-06  9:01                             ` Simon Wright
2003-06-06 10:35                               ` Preben Randhol
2003-06-05 17:51                     ` Larry Kilgallen
2003-06-08  5:28                       ` AG
2003-06-04 16:19                   ` Larry Kilgallen
2003-06-04 21:45                     ` Mike Silva
2003-06-08  3:56                   ` AG
2003-06-08  4:14                     ` Hyman Rosen
2003-06-08  4:46                       ` AG
2003-06-08  4:59                         ` Hyman Rosen
2003-06-08  5:11                           ` AG
2003-06-08  5:14                             ` Hyman Rosen
2003-06-08 10:09                       ` Frank J. Lhota
2003-06-09  3:06                         ` Wesley Groleau
2003-06-09  3:48                         ` Hyman Rosen
2003-06-09 21:09                         ` Warren W. Gay VE3WWG
2003-06-10  3:36                           ` Wesley Groleau
2003-06-10 16:02                             ` Warren W. Gay VE3WWG
2003-06-09 16:56                       ` Warren W. Gay VE3WWG
2003-06-09 18:21                         ` Hyman Rosen
2003-06-09 21:06                           ` Warren W. Gay VE3WWG
2003-06-10 10:23                           ` Preben Randhol
2003-06-12 21:58                             ` Michael Bode
2003-06-03  2:44     ` Steve
2003-06-03  3:13       ` Wesley Groleau
2003-06-03  3:41         ` Hyman Rosen
2003-06-03 11:41           ` Preben Randhol
2003-06-03 13:30             ` Hyman Rosen
2003-06-03 13:46               ` Vinzent Hoefler
2003-06-03 14:30                 ` Preben Randhol
2003-06-03 15:16                   ` Vinzent Hoefler
2003-06-03 15:36                     ` Preben Randhol
2003-06-03 14:28               ` Preben Randhol
2003-06-03 14:37                 ` Hyman Rosen
2003-06-03 14:51                   ` Preben Randhol
2003-06-03 15:03                     ` Hyman Rosen
2003-06-03 18:12                       ` Wesley Groleau
2003-06-08  5:46                       ` AG
2003-06-08  6:30                         ` Hyman Rosen
2003-06-08  8:24                           ` AG
2003-06-08  9:43                             ` Hyman Rosen
2003-06-09  3:03                               ` Wesley Groleau
2003-06-03 15:05                   ` John R. Strohm
2003-06-03 15:31                     ` Hyman Rosen
2003-06-04 10:16                       ` Ole-Hjalmar Kristensen
2003-06-03 17:21                   ` Robert A Duff
2003-06-03 17:40                     ` Preben Randhol
2003-06-03 18:20                     ` Wesley Groleau
2003-06-03 19:16                     ` Sergey Koshcheyev
2003-06-03 19:44                       ` Robert A Duff
2003-06-04  2:05                   ` James Rogers
2003-06-04  2:40                     ` Wesley Groleau
2003-06-04 11:14                       ` Preben Randhol
2003-06-04  6:21                     ` Hyman Rosen
2003-06-04 13:46                       ` Jim Rogers
2003-06-04 14:22                         ` Hyman Rosen
2003-06-04 19:26                           ` Jim Rogers
2003-06-04 20:00                             ` Hyman Rosen
2003-06-04 20:24                               ` David C. Hoos
2003-06-04 20:40                                 ` Hyman Rosen
2003-06-04 22:11                               ` Wesley Groleau
2003-06-04 21:13                             ` Simon Wright
2003-06-05 17:27                               ` Stephen Leake
2003-06-04 13:54                       ` Leif Roar Moldskred
2003-06-08  6:08                       ` AG
2003-06-08  6:25                         ` Hyman Rosen
2003-06-08  8:20                           ` AG
2003-06-08  9:48                             ` Hyman Rosen
2003-06-10  8:23                               ` Leif Roar Moldskred
2003-06-10 14:11                                 ` Hyman Rosen
2003-06-10 14:58                                   ` Leif Roar Moldskred
2003-06-10 16:05                                     ` Hyman Rosen
2003-06-10 16:37                                       ` Preben Randhol
2003-06-10 17:16                                         ` Hyman Rosen
2003-06-10 17:28                                           ` Preben Randhol
2003-06-10 18:14                                             ` Hyman Rosen
     [not found]                     ` <0egDa.45 <1055265377.116836@master.nyc.kbcfp.com>
2003-06-10 18:19                       ` Matthew Woodcraft
2003-06-10 20:36                         ` Hyman Rosen
2003-06-10 23:04                           ` Matthew Woodcraft
2003-06-04 12:07                   ` Larry Kilgallen
2003-06-08  4:22               ` AG
2003-06-08  4:41                 ` Hyman Rosen
2003-06-08  4:58                   ` AG
2003-06-08  5:00                     ` Hyman Rosen
2003-06-03  8:38         ` Vinzent Hoefler
2003-06-03 18:26           ` Wesley Groleau
2003-06-03  9:53       ` Martin Dowie
2003-06-03 11:37       ` Larry Kilgallen
2003-06-08  1:21     ` AG
2003-06-08  3:21       ` Hyman Rosen
2003-06-02 10:56 ` no title Georg Bauhaus
2003-06-02 11:01 ` Bobby D. Bryant
2003-06-02 20:23 ` Gautier Write-only
2003-06-02 21:33 ` Luke A. Guest
  -- strict thread matches above, loose matches on Subject: below --
2003-06-04 16:30 Case sensitivity (was Re: no title) Lionel.DRAGHI
2003-06-04 17:57 ` Hyman Rosen
2003-06-05  9:07 Lionel.DRAGHI
2003-06-05 14:13 ` Hyman Rosen
2003-06-05 15:39   ` Preben Randhol
2003-06-05 15:44   ` Larry Kilgallen
2003-06-05 15:49     ` Preben Randhol
2003-06-05 16:28       ` Sergey Koshcheyev
2003-06-05 17:14         ` Preben Randhol
2003-06-05 16:36     ` Hyman Rosen
2003-06-05 16:53       ` Larry Kilgallen
2003-06-05 17:15         ` Preben Randhol
2003-06-05 17:30 ` Wesley Groleau
2003-06-05  9:21 Lionel.DRAGHI
2003-06-05 14:14 ` Hyman Rosen
2003-06-05 17:34   ` Stephen Leake
2003-06-05 17:31 ` Stephen Leake
2003-06-05 19:31   ` Wesley Groleau
2003-06-10 11:14 Lionel.DRAGHI
2003-06-11 10:48 Lionel.DRAGHI

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