From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Copy vector in Ada
Date: Wed, 7 Nov 2012 14:09:47 +0100
Date: 2012-11-07T14:09:47+01:00 [thread overview]
Message-ID: <trh6v6omvon9$.xacsgpq19lkv.dlg@40tude.net> (raw)
In-Reply-To: 509a4dfb$0$6642$9b4e6d93@newsspool2.arcor-online.net
On Wed, 07 Nov 2012 13:03:08 +0100, Georg Bauhaus wrote:
> On 06.11.12 20:47, Yannick Duchêne (Hibou57) wrote:
>> Now, talking about proper naming of things, how would you explain to a
>> student, that sometime “type” must follow the substitution principle, and
>> sometime, it do exactly the opposite?
>
> The challenge is to explain why the substitution principle is
> a valid commandment:
It is not.
Positive is a legitime subtype of Integer even though violates the LSP.
The valid proposition is that you should not substitute something
non-substitutable, but you cannot enforce that through types. Correctness
cannot be ensured through type checks.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-11-07 13:09 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-31 16:26 Copy vector in Ada katolsster
2012-10-31 16:37 ` Jeffrey Carter
2012-11-02 11:10 ` katarina.l.olsson
2012-11-02 11:19 ` Yannick Duchêne (Hibou57)
2012-11-02 22:03 ` Maciej Sobczak
2012-11-02 23:45 ` Yannick Duchêne (Hibou57)
2012-11-03 0:15 ` Zhu, Qun-Ying
2012-11-03 3:47 ` Peter C. Chapin
2012-11-03 15:47 ` Yannick Duchêne (Hibou57)
2012-11-03 14:34 ` Maciej Sobczak
2012-11-03 15:54 ` Yannick Duchêne (Hibou57)
2012-11-03 16:03 ` Yannick Duchêne (Hibou57)
2012-11-03 21:57 ` Maciej Sobczak
2012-11-04 7:25 ` Dmitry A. Kazakov
2012-11-04 20:49 ` Maciej Sobczak
2012-11-05 8:31 ` Dmitry A. Kazakov
2012-11-05 8:50 ` Maciej Sobczak
2012-11-05 9:20 ` Dmitry A. Kazakov
2012-11-05 17:22 ` Yannick Duchêne (Hibou57)
2012-11-05 18:42 ` Dmitry A. Kazakov
2012-11-05 20:18 ` Yannick Duchêne (Hibou57)
2012-11-05 20:33 ` Dmitry A. Kazakov
2012-11-05 21:34 ` Yannick Duchêne (Hibou57)
2012-11-05 23:45 ` Shark8
2012-11-05 23:58 ` Hibou57 (Yannick Duchêne)
2012-11-06 2:17 ` Yannick Duchêne (Hibou57)
2012-11-06 7:28 ` Types vs Subtypes (was: Re: Copy vector in Ada) Simon Wright
2012-11-06 11:33 ` Copy vector in Ada Georg Bauhaus
2012-11-06 19:47 ` Yannick Duchêne (Hibou57)
2012-11-06 19:53 ` Yannick Duchêne (Hibou57)
2012-11-07 12:03 ` Georg Bauhaus
2012-11-07 13:09 ` Dmitry A. Kazakov [this message]
2012-11-07 16:17 ` Yannick Duchêne (Hibou57)
2012-11-07 16:11 ` Yannick Duchêne (Hibou57)
2012-11-07 18:06 ` Georg Bauhaus
2012-11-07 20:04 ` Dmitry A. Kazakov
2012-11-07 21:00 ` Yannick Duchêne (Hibou57)
2012-11-08 8:31 ` Dmitry A. Kazakov
2012-11-08 9:58 ` Georg Bauhaus
2012-11-08 14:28 ` Dmitry A. Kazakov
2012-11-05 16:30 ` Yannick Duchêne (Hibou57)
2012-11-02 14:10 ` Georg Bauhaus
2012-11-02 15:28 ` Shark8
2012-11-09 6:22 ` Randy Brukardt
2012-11-19 22:37 ` Katarina Olsson
2012-11-19 22:39 ` Katarina Olsson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox