From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generics vs. O-O?
Date: Sat, 3 Aug 2013 10:57:45 +0200
Date: 2013-08-03T10:57:45+02:00 [thread overview]
Message-ID: <zmnvgwm5u5gh$.doc1ob61j3n1$.dlg@40tude.net> (raw)
In-Reply-To: 51fcb2d7$0$6553$9b4e6d93@newsspool4.arcor-online.net
On Sat, 03 Aug 2013 09:35:53 +0200, Georg Bauhaus wrote:
> Maybe we should coin terms such as "weakly subtyped",
Weak subtyping is exactly what weak typing is. Namely implicit conversions
of the type which changes the semantics of the corresponding value.
(And subtype is a type anyway)
P.S. Note that Ada subtypes are strongly typed when constraint violation is
covered by the contract (Ada 83) and weak if a precondition is used instead
(Ada 2012). Dynamic preconditions constitute weak typing.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2013-08-03 8:57 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-01 14:45 Generics vs. O-O? Eryndlia Mavourneen
2013-08-01 19:24 ` Dmitry A. Kazakov
2013-08-01 19:52 ` Eryndlia Mavourneen
2013-08-01 20:14 ` sbelmont700
2013-08-01 23:35 ` Yannick Duchêne (Hibou57)
2013-08-01 20:10 ` optikos
2013-08-01 20:26 ` Dmitry A. Kazakov
2013-08-01 20:35 ` Jeffrey Carter
2013-08-01 21:22 ` Bill Findlay
2013-08-01 23:38 ` Yannick Duchêne (Hibou57)
2013-08-01 22:20 ` Georg Bauhaus
2013-08-02 8:11 ` Dmitry A. Kazakov
2013-08-02 9:50 ` Georg Bauhaus
2013-08-02 14:09 ` Dmitry A. Kazakov
2013-08-02 15:08 ` Shark8
2013-08-02 15:36 ` Alan Jump
2013-08-02 17:00 ` Jeffrey Carter
2013-08-02 17:51 ` Dmitry A. Kazakov
2013-08-02 18:06 ` Alan Jump
2013-08-02 19:08 ` Dmitry A. Kazakov
2013-08-02 16:15 ` Dmitry A. Kazakov
2013-08-03 0:04 ` Yannick Duchêne (Hibou57)
2013-08-03 7:35 ` Georg Bauhaus
2013-08-03 8:57 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox