From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Sat, 17 Apr 2010 07:33:24 -0700 (PDT)
Date: 2010-04-17T07:33:24-07:00 [thread overview]
Message-ID: <57119c7d-eb78-4904-a2de-bf183b03ccf0@r18g2000yqd.googlegroups.com> (raw)
In-Reply-To: hqbgo7$bjk$1@news.eternal-september.org
On 17 Kwi, 07:25, "J-P. Rosen" <ro...@adalog.fr> wrote:
> >http://www.msobczak.com/prog/typegen/
>
> This shows that an educated Ada programmer, well aware of the issues of
> strong typing, can mimmic the same behaviour in C++. But how many C++
> programmers use that?
Not many, but that does not matter in this discussion - we are
discussing the language, not programmers.
> > I don't see how type promotion violates the strong type safety.
>
> Type promotion is based on the underlying representation, not on
> abstract types.
No. Type promotions in C++ are defined in terms of values, not in
terms bit patterns. There is nothing that forces char and int to have
similar underlying representation, yet promotion from char to int is
well-defined.
> And it is a form of automatic type case - which is
> always a bad idea IMHO.
There are many bad ideas in C++. I don't see how this one affects
strong type safety.
--
Maciej Sobczak * http://www.inspirel.com
YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4
next prev parent reply other threads:[~2010-04-17 14:33 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-15 8:59 A new notion: stronglly-typed-by-user language J-P. Rosen
2010-04-15 9:19 ` Martin Krischik
2010-04-16 0:22 ` BrianG
2010-04-16 6:26 ` Martin Krischik
2010-04-15 9:59 ` Dmitry A. Kazakov
2010-04-15 10:49 ` Georg Bauhaus
2010-04-15 21:31 ` Maciej Sobczak
2010-04-16 7:28 ` J-P. Rosen
2010-04-16 7:48 ` Dmitry A. Kazakov
2010-04-16 15:32 ` Maciej Sobczak
2010-04-16 16:52 ` Georg Bauhaus
2010-04-16 17:24 ` Dmitry A. Kazakov
2010-04-16 20:53 ` Pascal Obry
2010-04-16 21:51 ` Dmitry A. Kazakov
2010-04-16 20:20 ` J-P. Rosen
2010-04-16 20:50 ` Maciej Sobczak
2010-04-17 5:25 ` J-P. Rosen
2010-04-17 7:00 ` Dmitry A. Kazakov
2010-04-17 11:40 ` J-P. Rosen
2010-04-17 14:09 ` Dmitry A. Kazakov
2010-04-17 14:33 ` Maciej Sobczak [this message]
2010-04-17 18:57 ` J-P. Rosen
2010-04-17 22:02 ` Maciej Sobczak
2010-04-18 8:04 ` J-P. Rosen
2010-04-18 20:17 ` Maciej Sobczak
2010-04-16 7:29 ` Dmitry A. Kazakov
2010-04-16 10:34 ` xavier grave
2010-04-16 19:26 ` Gautier write-only
2010-04-18 0:27 ` Gene
2010-04-18 20:38 ` Gautier write-only
2010-04-19 8:46 ` Maciej Sobczak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox