comp.lang.ada
 help / color / mirror / Atom feed
From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Fri, 16 Apr 2010 08:32:13 -0700 (PDT)
Date: 2010-04-16T08:32:13-07:00	[thread overview]
Message-ID: <aaea1354-19b1-4a94-9441-53e9cf970ac0@z11g2000yqz.googlegroups.com> (raw)
In-Reply-To: hq93i8$bl6$1@news.eternal-september.org

On 16 Kwi, 09:28, "J-P. Rosen" <ro...@adalog.fr> wrote:

> Do not confuse "weakly type" and "strongly type with a mean to disable
> it in a controlled way when absolutely necessary". Having no safety
> belts in a car is not the same thing as having belts and not putting
> them (as far as the car design is concerned).
>
> What I find amusing (or characteristic of the C/C++ spirit) is the idea
> that "if you are careful, it is good enough".

So which C++ language features exactly make it not strongly typed?

I agree that the C++ programmer has to be careful, but here I'm
interested in the strong type safety aspect.
Which constructs violate the strong type safety in C++?

(Of course, I expect that such or analogous constructs do not exist in
Ada.)

> I generally conclude my presentations of Ada with two quotes. The first
> one is from K&R, in one of the first books about C:

Let's focus on recent C++ standard instead of early versions of C.

--
Maciej Sobczak * http://www.inspirel.com

YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4



  parent reply	other threads:[~2010-04-16 15:32 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 [this message]
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