From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Fri, 16 Apr 2010 13:50:07 -0700 (PDT)
Date: 2010-04-16T13:50:07-07:00 [thread overview]
Message-ID: <cf5f7b42-219c-4a21-afd4-5c3f0c7b2068@k33g2000yqc.googlegroups.com> (raw)
In-Reply-To: hqagqj$p7q$1@news.eternal-september.org
On 16 Kwi, 22:20, "J-P. Rosen" <ro...@adalog.fr> wrote:
> Maciej Sobczak a écrit :> So which C++ language features exactly make it not strongly typed?
>
> 1) Lack of user-defined elementary types
This is addressed by:
http://www.msobczak.com/prog/typegen/
Alternative solutions involve templates or preprocessor or even hand-
written classes with appropriate operations - all of them are purely C+
+-based.
> 2) Type promotion
I don't see how type promotion violates the strong type safety.
In particular, type promotions are used in read-only operations (that
is, type is promoted when the value is read, not when it is written),
so they do not modify the state of the object that is subject to
promotion - as such, they do not subvert the type system in any way.
What about promoting integer values to Type'Base in arithmetic
operations?
Isn't it a form of type promotion?
--
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-16 20:50 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 [this message]
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
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