The #u and #s were to be reminiscent of #f and #t. The idea was to have you<br>think about #f and #t without being concerned about how they might be spelled.<br>The book is about a mythical language, but that just means that you have to <br>
know how to spell some of the words. As you will discover, we use lots of super<br>scripts. One reason was as a reminder. So, cond^e, which is spelled conde<br>was to remind the reader about the syntax of Lisp's/Scheme's cond. It was to<br>
cause the reader to say, "Oh, I at least remember the syntax of cond." run's<br>use of a superscript is different (run^4 (q) ...) is spelled (run 4 (q) ...), so here<br>the 4 is separated by a space from the "n" in run, whereas, for conde, there is<br>
no such separation. Most have very little difficulty adjusting to the two kinds of<br>superscipts (the touching and the ones separated by a space). In the index, we<br>have shown the correct spellings of every name, except for some of those<br>
that end with superscript o (the touching variety, since only run has separation).<br><br>Thanks to all for participating in the discussion,<br><br>.... Dan<br><br><div class="gmail_quote">On Sun, Apr 5, 2009 at 4:21 PM, Jon Loldrup <span dir="ltr"><<a href="mailto:loldrup@gmail.com">loldrup@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
To say that the book does not mention the definition of fail and succeed is clearly incorrect.</blockquote>
</div><div><br>Yep, I know they are in the beginning of the book, I was thinking of the code on page 160 and 161. They aren't there, but #s and #u are.<br><br></div></div>Maybe this question is a bit philosophical and maybe I should just read the book and then ask more questions (if still needed) : Is "the meaning" a part of the programming language, or is it our human interpretation of specific structures of the language?<br>
<br>I think I will get a better holistic understanding of it all by simply reading the book. So thats what I will do. Thanks to all of you for your help in getting my DrScheme to work with Minikanren!<br><font color="#888888"><br>
Jon Loldrup<br>
</font></blockquote></div><br>