comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Ada Smileys in C++ lib Conversion
Date: Sat, 14 Aug 2010 11:52:11 +0200
Date: 2010-08-14T11:52:12+02:00	[thread overview]
Message-ID: <4c66674c$0$6893$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <b05a83d9-fac1-45cb-91c5-f99516ca27f2@k10g2000yqa.googlegroups.com>

On 8/14/10 3:36 AM, Warren wrote:

> Heh heh. This is one of those things that C/C++ cannot
> guard against at all. Unless the value(s) were to exceed
> the underlying type's storage capability, the compiler
> is helpless to identify it. There is simply no concept of
> a "range" of valid values in that language.

You might want to look at Maciej's demo of range checked
types in C++, though.

Since C++ programmers and language makers are fine with
things defined in libraries, not language, they can
point to programmers who just have to ...


> But if you leave it up to programmers coding assertions,
> then you know they won't exist everywhere they're needed.

Bad programmers cannot be held responsible for a perfectly
applicable language design when they don't know how to
use the language properly;-)


Georg



  reply	other threads:[~2010-08-14  9:52 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-08-13 14:20 Ada Smileys in C++ lib Conversion Warren
2010-08-13 15:06 ` Yannick Duchêne (Hibou57)
2010-08-13 16:53 ` Anh Vo
2010-08-14  1:36   ` Warren
2010-08-14  9:52     ` Georg Bauhaus [this message]
2010-08-14 10:57     ` Brian Drummond
2010-08-14 20:34       ` Maciej Sobczak
2010-08-14 21:01         ` Dmitry A. Kazakov
2010-08-15  1:16         ` Brian Drummond
2010-08-15 10:04           ` Maciej Sobczak
2010-08-16 12:08             ` Brian Drummond
2010-08-16 12:13               ` Georg Bauhaus
2010-08-16 12:30             ` Brian Drummond
2010-08-16 12:39               ` Maciej Sobczak
2010-08-16 21:39                 ` Brian Drummond
2010-08-16 22:53                   ` Robert A Duff
2010-08-24 10:12           ` David Thompson
2010-08-30  9:51             ` Brian Drummond
2010-08-16 14:54       ` Warren
2010-08-16 20:27         ` Maciej Sobczak
2010-08-17 12:57           ` Warren
2010-08-17 13:37             ` Maciej Sobczak
2010-08-17 15:07               ` Georg Bauhaus
2010-08-18 17:31               ` Warren
2010-08-24 10:12             ` David Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox