<div>I have read through some articles on partial evaluation before, and found that most of them are either too trivial (e.g. the popular printf partial evaluator) or that the article immediately delves into the theory and too quickly jumps into notation. An explanation of Gambit's partial evaluator applied to a simple example, and a description of the various bookkeeping datastructures used would be extremely helpful to me. The description of the datastructures would be extremely helpful in particular. I am also interested in whether the partial evaluator is built as a separate system, or whether it is closely coupled with Gambit's interpreter.</div>
<div><br></div><div>Thanks very much!</div><div>  -Patrick</div><br><div class="gmail_quote">On Wed, Jun 13, 2012 at 2:20 PM, Mikael <span dir="ltr"><<a href="mailto:mikael.rcv@gmail.com" target="_blank">mikael.rcv@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Am putting together a tree of questions for this currently.<div><br></div><div>As for how the partial evaluator works, it would be great if you could please think of and tell here, how you would formulate one or more questions (in the same format as you would typically express them in a personal conversation), that together would communicate this understanding to you [of how the partial evaluator works].</div>


<div><br></div><div>Brgds<div><div class="h5"><br><br><div class="gmail_quote">2012/6/14 Patrick Li <span dir="ltr"><<a href="mailto:patrickli.2001@gmail.com" target="_blank">patrickli.2001@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>- How the partial evaluator works<div><br></div></div><div>Seconded! I would love to hear about this also.</div><div><span><font color="#888888">  -Patrick<br><br></font></span><div class="gmail_quote">

<div><div>On Wed, Jun 13, 2012 at 2:00 PM, Alex Queiroz <span dir="ltr"><<a href="mailto:asandroq@gmail.com" target="_blank">asandroq@gmail.com</a>></span> wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Hallo,<br>
<div><br>
On Fri, Jun 8, 2012 at 11:44 PM, Mikael <<a href="mailto:mikael.rcv@gmail.com" target="_blank">mikael.rcv@gmail.com</a>> wrote:<br>
><br>
> Anyone please feel free to suggest questions or angles on subjects that<br>
> should be addressed in this document, so that these will be covered too.<br>
><br>
<br>
</div>- How the partial evaluator works<br>
<span><font color="#888888"><br>
--<br>
-alex<br>
<a href="http://www.artisancoder.com/" target="_blank">http://www.artisancoder.com/</a><br>
</font></span></div></div><div><div><div>_______________________________________________<br>
Gambit-list mailing list<br>
<a href="mailto:Gambit-list@iro.umontreal.ca" target="_blank">Gambit-list@iro.umontreal.ca</a><br>
<a href="https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list" target="_blank">https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list</a><br>
</div></div></div></blockquote></div><br></div>
</blockquote></div><br></div></div></div>
</blockquote></div><br>