From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Sat, 17 Apr 2010 16:09:24 +0200
Date: 2010-04-17T16:09:23+02:00 [thread overview]
Message-ID: <u0mws1cv2tw2$.12du8sud4v1xh.dlg@40tude.net> (raw)
In-Reply-To: hqc6na$gv4$1@news.eternal-september.org
On Sat, 17 Apr 2010 13:40:23 +0200, J-P. Rosen wrote:
> My point is that two objects are of the same type if they represent the
> same abstraction. This is true of T and T'Base.
No, this is certainly untrue. T'Base rather represents a quite arbitrary
machine-dependent type chosen by the compiler. It may or may not fir the
abstraction of T. Consider:
type Angle is digits 5 range 0.0..360.0;
X : Angle'Base := -10.0;
Putting or lifting a constraint can break abstraction.
> Almost any language
> behaves as if there were only one integer type (represented on various
> number of bits depending on the constraints). This is somehow the
> mathematical view. But since we are modelling real world object, it is
> better to adopt a physicist point of view: objects have dimensions, and
> it makes no sense to add apples and oranges. That's what I would call
> strong typing.
I would call it mere typing. Strength of typing to me rather indicates how
often you get a chance to add apples and orange. It is more frequent in C++
than in Ada.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-04-17 14:09 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 [this message]
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