Harmony:classes static and private
allen at wirfs-brock.com
Tue Jun 7 22:11:44 PDT 2011
There are lots of sources about this
The classic but somewhat technical paper that coined the phrase that I misquoted is William Cook's: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.102.8635&rep=rep1&type=pdf
some overviews http://c2.com/cgi/wiki?SubTypingAndSubClassing
another good overview, from more of a java perspectivehttp://www.mit.edu/~6.170/lectures/lect09-subtyping-handouts.pdf
Statically typed languages and their users are often very concerned about correct subtyping because the memory safety of such languages often depends upon the fact that subtype substitutability invariants are guaranteed. Dynamic language folks are often less concerned because any such broken invariants will at worst cause the program to perform the wrong computation but dynamic runtime checks will still guarantee memory safety. Your actual milage may vary.
(I am not a type theorists)
On Jun 7, 2011, at 8:17 PM, Kam Kasravi wrote:
> Yes I puzzled over that a bit :)
> Although wouldn't you know, I searched Allen's article (http://www.wirfs-brock.com/allen/posts/228) and he never once mentions 'type' :)
> On Jun 7, 2011, at 6:47 PM, Allen Wirfs-Brock <allen at wirfs-brock.com> wrote:
>> Time for dinner-at keyboard too long.
>> On Jun 7, 2011, at 6:34 PM, Mark S. Miller wrote:
>>> On Tue, Jun 7, 2011 at 6:11 PM, Allen Wirfs-Brock <allen at wirfs-brock.com> wrote:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the es-discuss