tag:blogger.com,1999:blog-51857052403903067422012-01-01T02:50:57.542-08:00pjotrhttp://www.blogger.com/profile/15073614462978357017noreply@blogger.comBlogger21100tag:blogger.com,1999:blog-5185705240390306742.post-58040407082457448442011-01-25T01:08:00.000-08:002011-01-25T01:08:13.030-08:00Stalin, the Scheme compiler (not the ruthless dictator) is provably awesome. By comparing the performance of macro-primes (code generated by <a href="http://okmij.org/ftp/Scheme/macros.html#syntax-rules-compiler">cps-macro-conv</a><a href="http://petrofsky.org/src/alexpander.scm">) </a>on primes with interpreters (SCM, MzScheme/Racket, MIT-Scheme and Petite), and with <a href="http://petrofsky.org/src/alexpander.scm">Alexpander</a> compiled by Bigloo and Stalin: it comes second after Petite!<br /><br />Noting that Petite has a very well integrated and optimized expander, while Alexpander being the most general/portable one. So this is a very good result.<br />Also note that macro-computation, having a normal-order, head-first term-rewriting system at its core is in fact very close to a Turing machine.<br /><br />Computing (is-prime 7) at compile-time (on an old 1.7Ghz laptop with 2G memory) gave the following (very rough results):<br /><ul><li>Petite (7.4d): 1.4s</li><li>Alexpander/Stalin (0.11): 4.8s</li><li>Alexpander/Bigloo (3.6a): 8.5s</li><li>Chicken interpreter (4.2.0): 11s </li><li>SCM (5e5): 15s</li><li>Racket (v5.0.1): 39s </li><li>Ypsilon (0.9.6-update3): 47s (fails on larger primes)</li><li>Larceny (0.97):&nbsp; 54s </li><li>Plt/MzScheme: (v4.2.1) 110-121s</li><li>Mosh (0.2.6):&nbsp; <span style="color: red;">crash after XXX minutes</span></li><li>MIT-Scheme: <span style="color: red;">crash after XXX minutes</span></li><li>Scheme48 (1.8):&nbsp; crash after XXX minutes</li><li>Scsh (0.6.7): <span style="color: red;">FAILED</span></li><li> Gauche: <span style="color: red;">FAILED</span></li><li>Gambit:<span style="color: red;"> FAILED</span></li><li><span style="color: red;"><span style="color: black;">Ikarus: </span></span><span style="color: red;">FAILED</span><span style="color: red;"> </span></li></ul><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/5185705240390306742-5804040708245744844?l=sub-lime.blogspot.com' alt='' /></div>pjotrhttp://www.blogger.com/profile/15073614462978357017noreply@blogger.com0tag:blogger.com,1999:blog-5185705240390306742.post-26219624044462280062011-01-24T14:02:00.000-08:002011-01-24T14:06:04.185-08:00It's been awhile, my old <a href="http://blogger.xs4all.nl/kurzanov">ASP.NET-based</a> blog is getting stale and out-of-date. Having no passion to keep maintaining it, lets see how this new one works out...<div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/5185705240390306742-2621962404446228006?l=sub-lime.blogspot.com' alt='' /></div>pjotrhttp://www.blogger.com/profile/15073614462978357017noreply@blogger.com0