From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Thu, 15 Apr 2010 14:31:48 -0700 (PDT)
Date: 2010-04-15T14:31:48-07:00 [thread overview]
Message-ID: <bdbc2b7d-49bb-4372-901e-001f9e796da9@b33g2000yqc.googlegroups.com> (raw)
In-Reply-To: hq6kht$kgl$1@news.eternal-september.org
On 15 Kwi, 10:59, "J-P. Rosen" <ro...@adalog.fr> wrote:
> "C++ is a strongly typed language, if conversions between logically
> unrelated types are avoided".
>
> Ain't that cute?
http://en.wikipedia.org/wiki/Strong_typing
"these terms have been given such a wide variety of meanings over the
short history of computing that it is often difficult to know, out of
context, what an individual author means when using them."
Indeed, if I cherry-pick bits of this page on Wikipedia, C++ seems to
be strongly typed. If I cherry-pick some other bits, Ada seems to be
weakly typed.
The statement that you cited is therefore not very convincing.
In particular, what are "conversions between logically unrelated
types"?
Is Integer'Image such a conversion? What about arbitrary casts between
numeric types? What about unchecked casts?
--
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-15 21:31 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 [this message]
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
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