comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: The future of Ada is at risk
Date: Sun, 6 Jan 2008 11:26:43 +0100
Date: 2008-01-06T11:26:44+01:00	[thread overview]
Message-ID: <14x03c6oief1w.mx54zaatx0ry.dlg@40tude.net> (raw)
In-Reply-To: agyaras-50CE35.10341806012008@news.inode.at

On Sun, 06 Jan 2008 10:34:25 +0100, Agyaras wrote:

> I think that the default string type should be the unbounded string,

No, all string types should simply be subtypes of each other. In that case
you will need no conversions at all and no specialized library versions for
all geometrically exploding combinations of string types. The compiler
would convert representations where appropriate.

Same with Character vs. Wide_Character vs. Wide_Wide_Character.

BTW, if you look at use statistics of String vs. Unbounded_String you will
wonder how minor is use of Unbounded_String in Ada programs. Ada 83 string
design was extremely successful. You just do not need Unbounded_String in
most cases. The cases where Unbounded_String appears are rare and usually
at the language weakness points. For example, when you need to return two
strings out of one function. Another example is when you want to put string
into a record.

> Talking about safety and ergonomics: how do you tell which Ada 
> subprograms raise which exceptions?

True, exceptions should be contracted.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2008-01-06 10:26 UTC|newest]

Thread overview: 126+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-12-29  3:06 The future of Ada is at risk Rico Secada
2007-12-29 10:19 ` Pascal Obry
2007-12-29 19:24   ` Jerry van Dijk
2007-12-29 11:14 ` Dmitry A. Kazakov
2007-12-29 11:21 ` Georg Bauhaus
2007-12-30 12:30   ` Florian Weimer
2007-12-30 19:42     ` okellogg
2007-12-30 20:22       ` Florian Weimer
2007-12-31  0:21         ` Samuel Tardieu
2007-12-30 23:30       ` Simon Wright
2007-12-31  8:12     ` I. Levashew
2007-12-31  8:43       ` Florian Weimer
2007-12-31 10:16       ` Rico Secada
2007-12-31 10:31         ` Florian Weimer
2007-12-31 15:20         ` Georg Bauhaus
2007-12-31 21:35           ` Paul
2008-01-01 12:41           ` Florian Weimer
2007-12-29 16:19 ` I. Levashew
2007-12-29 16:24 ` anon
2007-12-29 19:16   ` Rico Secada
2007-12-30  0:38     ` The future of C# " Georg Bauhaus
2008-01-07  8:01   ` The future of Ada " Nasser Abbasi
2008-01-07 11:09     ` Robert A Duff
2008-01-07 11:54       ` Nasser Abbasi
2007-12-30  8:04 ` Phaedrus
2007-12-30  8:56   ` Pascal Obry
2007-12-30 21:42     ` Phaedrus
2007-12-30 23:08       ` Brian May
2007-12-30 23:32         ` Phaedrus
2007-12-31 12:33       ` I. Levashew
2008-01-02 10:46         ` Colin Paul Gloster
2007-12-30 11:08   ` Georg Bauhaus
2007-12-30 22:23     ` Phaedrus
2007-12-30 21:30   ` adaworks
2007-12-30 23:33     ` Phaedrus
2007-12-31  0:33   ` Samuel Tardieu
2008-01-01 14:14 ` Gautier
2008-01-01 14:46   ` Dmitry A. Kazakov
2008-01-04  8:45 ` Agyaras
2008-01-04  9:36   ` Pascal Obry
2008-01-04 13:13   ` Georg Bauhaus
2008-01-06  9:34     ` Agyaras
2008-01-06 10:26       ` Dmitry A. Kazakov [this message]
2008-01-06 12:03       ` Georg Bauhaus
2008-01-06 13:03       ` Frank J. Lhota
2008-01-07  3:46       ` Brian May
2008-01-08  2:22       ` Randy Brukardt
2008-01-04 23:17   ` Brian May
2008-01-05 10:22   ` Ludovic Brenta
2008-01-05 15:16     ` Robert A Duff
2008-01-05 15:36       ` Dmitry A. Kazakov
2008-01-05 15:46         ` Robert A Duff
2008-01-05 16:39           ` Georg Bauhaus
2008-01-05 17:14           ` Dmitry A. Kazakov
2008-01-06 22:08             ` Robert A Duff
2008-01-09  8:19   ` ahab
2008-01-05 10:21 ` Michael Bode
2008-01-05 10:30   ` Ludovic Brenta
2008-01-05 10:55     ` Michael Bode
2008-01-05 13:09       ` Ludovic Brenta
2008-01-05 13:32         ` Michael Bode
2008-01-05 20:36           ` Jeffrey R. Carter
2008-01-05 22:50             ` Michael Bode
2008-01-05 23:42               ` Jeffrey R. Carter
2008-01-05 11:11     ` Georg Bauhaus
2008-01-05 11:40       ` Dmitry A. Kazakov
2008-01-05 13:29         ` Georg Bauhaus
2008-01-05 14:35           ` Dmitry A. Kazakov
2008-01-05 17:42             ` Georg Bauhaus
2008-01-05 18:40               ` Dmitry A. Kazakov
2008-01-05 23:47             ` Brian May
2008-01-06  7:03               ` Vadim Godunko
2008-01-06  8:42               ` Dmitry A. Kazakov
2008-01-06 12:05                 ` Georg Bauhaus
2008-01-06 12:23                   ` Dmitry A. Kazakov
2008-01-06 20:13                     ` Georg Bauhaus
2008-01-06 20:50                       ` Dmitry A. Kazakov
2008-01-06 22:12                         ` Georg Bauhaus
2008-01-07  0:11                 ` Brian May
2008-01-07  5:23                   ` Per Sandberg
2008-01-08  0:04                     ` Brian May
2008-01-08  6:53                       ` Simon Wright
2008-01-08 14:35                         ` Vadim Godunko
2008-01-08 20:24                   ` Graham
2008-01-08 20:44                   ` Pascal Obry
2008-01-06  9:23               ` Pascal Obry
2008-01-07  0:05                 ` Brian May
2008-01-05 20:34   ` Jeffrey R. Carter
2008-01-05 20:52     ` Michael Bode
2008-01-05 21:40       ` Georg Bauhaus
2008-01-05 23:45       ` Jeffrey R. Carter
2008-01-06 11:16         ` Michael Bode
2008-01-06 19:20           ` Jeffrey R. Carter
2008-01-06 20:27             ` Michael Bode
2008-01-07 10:23   ` Stephen Leake
2008-01-07 17:54     ` Michael Bode
2008-01-11  7:21 ` Phaedrus
2008-01-11  8:49   ` Maciej Sobczak
2008-01-11 13:10     ` Peter C. Chapin
2008-01-11 15:41     ` Hyman Rosen
2008-01-12 14:31       ` Surfer
2008-01-12 20:54         ` Gautier
2008-01-11 19:58     ` Tero Koskinen
2008-01-11 21:41       ` Georg Bauhaus
2008-01-11 13:02   ` framefritti
2008-01-11 15:29     ` Peter C. Chapin
2008-01-11 17:24       ` Gary Scott
2008-01-11 18:20   ` Jeffrey R. Carter
2008-01-11 18:51     ` Gary Scott
2008-01-12  0:21       ` Jeffrey R. Carter
2008-01-12  8:15         ` Pascal Obry
2008-01-12 10:11           ` Brian May
2008-01-12 10:24             ` Pascal Obry
2008-01-12 17:43               ` Gary Scott
2008-01-12 18:14                 ` Pascal Obry
2008-01-12 22:24                   ` Georg Bauhaus
2008-01-13  3:54                     ` Ray Blaak
2008-01-13 14:05                       ` (see below)
2008-01-14  1:46                         ` Ray Blaak
2008-01-14  1:49                         ` Ray Blaak
2008-01-23  2:52                 ` adaworks
2008-01-12 10:47             ` Dmitry A. Kazakov
2008-01-11 22:32   ` Robert A Duff
2008-01-12  4:06     ` Phaedrus
2008-01-12 15:29       ` Georg Bauhaus
2008-01-12 20:55     ` jtg
replies disabled

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