<div dir="ltr">Given our discussion yesterday in the teleconference, I decided it was worthwhile to write up an informal, but relatively careful specification of the meaning of objects, classes, and inheritance.  I've put a copy in a new SemanticsInheritance subfolder of  the GracePapers folder in the svn repository, but also attach a copy here.  Technically, only section 3 is necessary, but I tried to explain the issues that arise in trying to determine the desired semantics.<div><br></div><div>I would appreciate any corrections or suggestions on clarifications.<br><div><br></div><div><br><div class="gmail_quote"><div dir="ltr">On Mon, Aug 10, 2015 at 4:56 PM James Noble <<a href="mailto:kjx@ecs.vuw.ac.nz">kjx@ecs.vuw.ac.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">* Tom has changed the website look!<br>
 - that’s good!  well past time!<br>
 - other people should post more stuff.<br>
<br>
* Talked about creating objects, delegation, inheritance, etc.<br>
<br>
* Kim’s student’s are done.<br>
 - Reed has a version of Gracedocs<br>
 - static type checker works for most things in a single file<br>
<br>
* Andrew gave his midterm (11 students)<br>
   talked about his JS graphics library<br>
<br>
* We also talked about object construction...<br>
<br>
Michael’s description about what an object constructor does.<br>
 - an o/c called from other code is given a fresh identity<br>
 - an o/c called from an inherits call is given the identity created by the calling o/c<br>
<br>
THEN the o/c<br>
- recursively calls any other o/c that it inherits<br>
- “builds aka/lay out” the object, adding in fields & methods after the methods that are already there<br>
    into the identity it was given<br>
- run inits code top-to-bottom on the identity it was given<br>
<br>
<br>
</blockquote></div></div></div></div>