From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: type access Parent'Class
Date: Tue, 22 Nov 2011 09:42:12 +0100
Date: 2011-11-22T09:42:12+01:00 [thread overview]
Message-ID: <7x8041w45wfm$.12ihj5s949bvb.dlg@40tude.net> (raw)
In-Reply-To: 558f254a-1ae9-4f22-9430-5f110ae595b1@f29g2000yqa.googlegroups.com
On Mon, 21 Nov 2011 15:45:24 -0800 (PST), Gene wrote:
> However, there exist languages that are strongly typed that don't rely
> (at least entirely) on name equivalence. Rather they use some
> variation of structural equivalence. ML is in this category.
Now, if the type behavior is indeterminable from the type's structure, then
structured equivalence imply weak typing = the behavior varies with the
interpretation. Otherwise (the behavior is exhaustively determined by
type's structure) the type system is weak. I don't really know ML, so I can
only suggest that it falls into the first category.
P.S. Strong typing became a kind of fashion. In these days almost any
language claims to be strongly typed.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2011-11-22 8:42 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-21 19:03 type access Parent'Class Yukicanis
2011-11-21 19:25 ` Adam Beneschan
2011-11-21 19:40 ` Yukicanis
2011-11-21 19:45 ` Robert A Duff
2011-11-21 19:46 ` Yukicanis
2011-11-21 23:45 ` Gene
2011-11-22 8:42 ` Dmitry A. Kazakov [this message]
2011-11-22 10:07 ` Georg Bauhaus
2011-11-22 13:27 ` Simon Wright
2011-11-22 16:13 ` Georg Bauhaus
2011-11-21 19:33 ` Robert A Duff
2011-11-21 19:44 ` Yukicanis
2011-11-24 10:33 ` Yannick Duchêne (Hibou57)
2011-11-24 11:18 ` Yukicanis
2011-11-21 21:09 ` Jeffrey Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox