<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im"><br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I guess the important thing for Jon to note, since he wrote this is &quot;the point where they introduce types&quot;, is that &quot;types&quot; here doesn&#39;t mean what is typically meant by &quot;types&quot; in the context of a programming language.  The book uses &quot;type&quot; to mean the different grammatical forms of expressions.  There are 6: constants, identifiers, applications, etc.<br>


<br>
This is different from what is meant by &quot;types&quot; in Typed Scheme, for example.<br>
</blockquote>
<br></div>
Yeap :-)<br>
<br>
</blockquote></div><br>Yeap :-)<br><br>Jon Loldrup<br>