Thanks for all the suggestions! I&#39;ll look over those and see what&#39;s happening.<div><br></div><div>I have profiled my code, and noticed that it spends most of the time in typechecking the arguments to the cons, car, and cdr primitives. I currently know of no simple way to eliminate those checks while still giving me relatively sane error messages for when things go wrong.</div>
<div><br></div><div>  -Patrick<br><br><div class="gmail_quote">On Mon, Mar 21, 2011 at 1:39 PM, Vincent St-Amour <span dir="ltr">&lt;<a href="mailto:stamourv@ccs.neu.edu">stamourv@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
David Kranz&#39;s dissertation has a lot of interesting material about<br>
implementing closures efficiently.<br>
<a href="http://repository.readscheme.org/ftp/papers/orbit-thesis.pdf" target="_blank">http://repository.readscheme.org/ftp/papers/orbit-thesis.pdf</a><br>
<br>
Andrew Appel&#39;s book Compiling with Continuations also covers similar<br>
material.<br>
<br>
Vincent<br>
<br>
At Mon, 21 Mar 2011 12:42:07 -0400,<br>
Patrick Li wrote:<br>
&gt;<br>
&gt; [1  &lt;multipart/alternative (7bit)&gt;]<br>
&gt; [1.1  &lt;text/plain; ISO-8859-1 (7bit)&gt;]<br>
<div><div></div><div class="h5">&gt; Hello everyone,<br>
&gt;<br>
&gt; For educational purposes, I&#39;ve implemented a simple Scheme interpreter in C,<br>
&gt; but it&#39;s way too slow at the moment. (eg. just macroexpanding and evaluating<br>
&gt; a function definition takes a few seconds.) I would like some advice on how<br>
&gt; to proceed next to get a adequately performing Scheme system.<br>
&gt;<br>
&gt; My goal is simply to get out of C as quickly as possible. ie. Get the basic<br>
&gt; forms and a macro system working which will allow me to write the rest of it<br>
&gt; in Scheme.<br>
&gt;<br>
&gt; So far this is what I have done:<br>
&gt;<br>
&gt; I wrote a simple Scheme interpreter in Scheme in continuation-passing style,<br>
&gt; so that I can get call/cc working.<br>
&gt;<br>
&gt; Then I basically just manually translated that code into C. So all<br>
&gt; continuations are heap allocated.<br>
&gt;<br>
&gt; How should I proceed from here? These are the options that I&#39;ve come up<br>
&gt; with:<br>
&gt;<br>
&gt; (1) Optimize variable lookup. Currently the environment is represented as a<br>
&gt; list of key-value pairs. Variable lookup is done by searching through the<br>
&gt; list.<br>
&gt;<br>
&gt; (2) &quot;Analyze&quot; the code before evaluating it (ie. as in SICP). Ie. for an<br>
&gt; (if) form, it will determine that it is an if form during the analysis<br>
&gt; phase, so that at execution stage it won&#39;t have to repeatedly figure out<br>
&gt; what sort of form it is.<br>
&gt;<br>
&gt; (3) Write a very simple VM, and develop a simple byte-code compiler.  The<br>
&gt; problem here is that I don&#39;t really know how to deal with first-class<br>
&gt; continuations.<br>
&gt;<br>
&gt; Thanks for your help<br>
&gt;   -Patrick<br>
</div></div>&gt; [1.2  &lt;text/html; ISO-8859-1 (quoted-printable)&gt;]<br>
&gt;<br>
&gt; [2  &lt;text/plain; us-ascii (7bit)&gt;]<br>
<div><div></div><div class="h5">&gt; _________________________________________________<br>
&gt;   For list-related administrative tasks:<br>
&gt;   <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
</div></div></blockquote></div><br></div>