From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
Date: Wed, 30 May 2012 15:12:05 +0200
Date: 2012-05-30T15:12:05+02:00 [thread overview]
Message-ID: <7xfldlqwf9dd.1aqh5f5cghc00.dlg@40tude.net> (raw)
In-Reply-To: Pine.LNX.4.64.1205301443320.9181@medsec1.medien.uni-weimar.de
On Wed, 30 May 2012 14:45:59 +0200, stefan-lucks@see-the.signature wrote:
> On Wed, 30 May 2012, Dmitry A. Kazakov wrote:
>
>> What about fixing the language instead of thinking about ugly kludges?
>
> Something like
>
> for String use Ada.Strings.Unbounded.Unbounded_String;
>
> and then every "constant string" in the source code is read as
> Ada.Strings.Unbounded.To_Unbounded_String("constant string")?
Rather:
type Unbounded_String is new String'Interface with private;
String literals are primitive operations of String's interface. E.g.
function "abc" return String;
They are inherited by Unbounded_String and must be overridden per
compositions with To_Unbounded_String:
overriding
function "abc" return Unbounded_String is
To_Unbounded_String ("abc");
Sorry, for not inventing a syntax for such sort of delegation.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-05-30 13:13 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-09 13:06 fyi, very interesting Ada paper OOP vs. Readability Nasser M. Abbasi
2012-05-09 13:19 ` Nasser M. Abbasi
2012-05-09 13:36 ` Dmitry A. Kazakov
2012-05-09 13:39 ` Patrick
2012-05-09 13:55 ` Egil Høvik
2012-05-10 2:33 ` Randy Brukardt
2012-05-10 6:33 ` Simon Wright
2012-05-12 0:37 ` Randy Brukardt
2012-05-30 2:09 ` BrianG
2012-05-30 7:29 ` Niklas Holsti
2012-05-30 7:54 ` Yannick Duchêne (Hibou57)
2012-05-30 7:59 ` Dmitry A. Kazakov
2012-05-30 12:45 ` stefan-lucks
2012-05-30 13:12 ` Dmitry A. Kazakov [this message]
2012-05-30 19:11 ` Jeffrey Carter
2012-05-30 23:00 ` BrianG
2012-06-21 16:06 ` Randy Brukardt
2012-05-10 8:43 ` Maciej Sobczak
2012-05-15 6:16 ` Simon Wright
2012-05-10 11:46 ` Dmitry A. Kazakov
2012-05-10 14:23 ` Georg Bauhaus
2012-05-10 14:47 ` Nasser M. Abbasi
2012-05-10 15:11 ` Adam Beneschan
2012-05-10 16:06 ` Georg Bauhaus
2012-05-10 18:41 ` Niklas Holsti
2012-05-11 8:20 ` Georg Bauhaus
2012-05-10 20:11 ` Nasser M. Abbasi
2012-05-10 21:17 ` tmoran
2012-05-10 18:07 ` Jeffrey Carter
2012-05-11 7:32 ` Maciej Sobczak
2012-05-10 12:31 ` J-P. Rosen
2012-05-10 13:32 ` Yannick Duchêne (Hibou57)
2012-05-10 13:38 ` Nasser M. Abbasi
2012-05-10 23:42 ` Zhu Qun-Ying
2012-05-11 6:05 ` J-P. Rosen
2012-05-11 3:01 ` NatarovVI
2012-05-11 7:14 ` Dmitry A. Kazakov
2012-05-11 7:32 ` Nasser M. Abbasi
2012-05-11 7:58 ` Dmitry A. Kazakov
2012-05-13 3:11 ` NatarovVI
2012-05-13 10:03 ` Georg Bauhaus
2012-05-16 15:00 ` NatarovVI
2012-05-16 18:01 ` Georg Bauhaus
2012-05-21 16:35 ` NatarovVI
2012-05-21 17:56 ` Georg Bauhaus
2012-05-23 16:01 ` NatarovVI
2012-05-23 16:12 ` NatarovVI
2012-05-16 15:31 ` NatarovVI
2012-05-16 16:40 ` Dmitry A. Kazakov
2012-05-21 17:23 ` NatarovVI
2012-05-21 18:53 ` Dmitry A. Kazakov
2012-05-21 19:21 ` Nasser M. Abbasi
2012-05-23 17:59 ` NatarovVI
2012-05-23 18:45 ` Dmitry A. Kazakov
2012-05-23 17:39 ` NatarovVI
2012-05-23 18:39 ` Dmitry A. Kazakov
2012-05-11 3:09 ` NatarovVI
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox