Re: Is this expected behavior or not

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:144bgnv8rdks7$.1o76z1eh196ks$.dlg@40tude.net...
> On Mon, 15 Apr 2013 20:41:46 -0500, Randy Brukardt wrote:
...
>>> You missing the main point that whatever difference Unbounded_String and
>>> String may have, it is not a semantic difference. Both are different
>>> implementations of the same thing. They are mixed right from the start.
>>
>> Representation is an integral part of semantics.
>
> I don't understand why you are using Ada then. There are lots of great
> languages which pursue the principle that representation is semantics,
> beginning with C.

Representation is not semantics -- it's *part* of semantics -- there are 
other components to semantics as well, which languages like C ignore. But 
you're ignoring the part of semantics that is associated with 
representation, and that's just as bad.

One type for one purpose. If you think you need different representations 
for a type, you're clearly mixing purposes and that's bad.

Anyway, I use Ada because it forces me to write precisely and it complains 
about any abuse of types. And because it has the most sensible syntax of any 
language that I've been seriously exposed to. And most of all, because it 
automatically includes lots of dynamic checks to prevent mistakes from 
spreading (I hate debugging). The latter two are the most important, and 
they are only tangentially involved with types.

                                    Randy.