<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Glad to hear my try was not useless :-)</div><div><br></div><div><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font>what's the forest.  It is conceivable that putting the back up front,<br>and then repeating it in technical detail, can have some value.<br></div></blockquote><div><br></div><div><br></div><div>yes, this would surely make it easier. Also the three dimensions Matthias mentions </div><div><br></div><div><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font>typed (ML) and untyped languages (Perl)<br>sound (Haskell) and unsound type systems (Eiffel)<br>(type and memory) safe (PLT Scheme) and unsafe languages (C)<br><br>and combinations that exist and those that can't exist. For example, it is impossible to have a sound type system w/o a safe run-time system.<br><br></div></blockquote></div><div><br></div><div>could perhaps be illustrated? It would be very helpful having a chapter explaining, differentiating, exemplifying these dimensions I think</div><div>(in fact I'd be keen on reading that now :-; )</div><br><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font>What isn't right with analogies about objects?  Etc.  All these things<br>have to be gleaned from being in a class taught by the faculty who use<br>it, since they aren't written down.</div></blockquote><br></div><div>I see... well I hope your students know and can appreciate how lucky they are :-)</div><div><br></div><div>Sigrid</div></body></html>