From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Sat, 17 Apr 2010 09:00:06 +0200
Date: 2010-04-17T09:00:05+02:00 [thread overview]
Message-ID: <37p79j7nw4ep.9f8pem1g4f7l$.dlg@40tude.net> (raw)
In-Reply-To: hqbgo7$bjk$1@news.eternal-september.org
On Sat, 17 Apr 2010 07:25:25 +0200, J-P. Rosen wrote:
> Note that T'Base is the same type as T, so there is no issue here.
But it is not all same. The behavior of T'Base may differ, so it might be
unsafe to use one as an equivalent of another in certain contexts
(substitutability violation).
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-04-17 7:00 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 [this message]
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