<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:georss='http://www.georss.org/georss' xmlns:gd='http://schemas.google.com/g/2005' xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-494293227624315247</id><updated>2011-07-08T00:48:30.769+01:00</updated><category term='ML'/><title type='text'>Unlicensed Indications</title><subtitle type='html'></subtitle><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://unlicensedindications.blogspot.com/feeds/posts/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default?max-results=100'/><link rel='alternate' type='text/html' href='http://unlicensedindications.blogspot.com/'/><link rel='hub' href='http://pubsubhubbub.appspot.com/'/><author><name>imra</name><uri>http://www.blogger.com/profile/04260437746130066134</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>3</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>100</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-494293227624315247.post-2689067763217530603</id><published>2009-06-12T00:00:00.004+01:00</published><updated>2009-06-12T00:04:36.959+01:00</updated><title type='text'>Savagely Optimised Blog Posts</title><content type='html'>I just had a look at the source code for the previous post, and boy is it… less than pretty. I should relearn all that css/html/js and savagely optimise this blog.&lt;br/&gt;&lt;br /&gt;*adds another entry to Someday/Maybe/Never list*&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/494293227624315247-2689067763217530603?l=unlicensedindications.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://unlicensedindications.blogspot.com/feeds/2689067763217530603/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=494293227624315247&amp;postID=2689067763217530603' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/2689067763217530603'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/2689067763217530603'/><link rel='alternate' type='text/html' href='http://unlicensedindications.blogspot.com/2009/06/savagely-optimised-blog-posts.html' title='Savagely Optimised Blog Posts'/><author><name>imra</name><uri>http://www.blogger.com/profile/04260437746130066134</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-494293227624315247.post-6791967253214462208</id><published>2009-06-11T21:14:00.000+01:00</published><updated>2009-06-11T22:08:47.930+01:00</updated><title type='text'>(Mandatory) Hello World!</title><content type='html'>I'm alive!&lt;br /&gt;&lt;pre class="prettyprint lang-ml" style="overflow:auto"&gt;&lt;span class="nocode"&gt;(*1*)&lt;/span&gt; val a = "ZOMG I'M ALIVE!";&lt;br /&gt;&lt;span class="nocode"&gt;(*2*)&lt;/span&gt; a;&lt;br /&gt;&lt;/pre&gt;&lt;pre class="prettyprint lang-ml" style="overflow:auto"&gt;&lt;span class="nocode"&gt;(*1*)&lt;/span&gt; fun helloWorld() = "ZOMG I'M ALIVE!";&lt;br /&gt;&lt;span class="nocode"&gt;(*2*)&lt;/span&gt; helloWorld();&lt;br /&gt;&lt;/pre&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/494293227624315247-6791967253214462208?l=unlicensedindications.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/6791967253214462208'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/6791967253214462208'/><link rel='alternate' type='text/html' href='http://unlicensedindications.blogspot.com/2009/06/mandatory-hello-world.html' title='(Mandatory) Hello World!'/><author><name>imra</name><uri>http://www.blogger.com/profile/04260437746130066134</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author></entry><entry><id>tag:blogger.com,1999:blog-494293227624315247.post-3696042892679838268</id><published>2009-06-11T14:25:00.023+01:00</published><updated>2009-06-11T23:49:13.148+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='ML'/><title type='text'>How To Install Standard ML On OS X</title><content type='html'>&lt;div style="text-align: left"&gt;If you are an OS X user, the most convenient way to install Standard ML is to &lt;a href="http://www.macports.org/install.php"&gt;install MacPorts&lt;/a&gt;. Once you have MacPorts up and running, you have the choice of installing &lt;a href="http://www.itu.dk/people/sestoft/mosml.html"&gt;Moscow ML&lt;/a&gt;, &lt;a href="http://www.polyml.org/"&gt;Poly/ML&lt;/a&gt; or &lt;a href="http://www.smlnj.org/"&gt;Standard ML of New Jersey&lt;/a&gt;.&lt;/div&gt;&lt;br /&gt;I really don't know which one is "better", not because "they all have their own strengths and weaknesses", but because I am a clueless newbie.&lt;br /&gt;&lt;br /&gt;But as a clueless newbie here is one of the first differences between these three implementations that I ran into.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;div&gt;&lt;a href="http://www.flickr.com/photos/kankan/53973269"&gt;&lt;img style="border-bottom: 0px; text-align: center; border-left: 0px; margin: 0px auto 10px; width: 240px; display: block; height: 180px; border-top: 0px; cursor: pointer; border-right: 0px" border="0" alt="" src="http://farm1.static.flickr.com/24/53973269_1947656f3b_m.jpg" /&gt;&lt;/a&gt;&lt;span class="Apple-style-span"  style="font-size:x-large;"&gt;&lt;/span&gt;&lt;/div&gt;     &lt;div style="text-align: center"&gt;&lt;span class="Apple-style-span"  style="font-size:x-large;"&gt;Using Pi.&lt;/span&gt;&lt;/div&gt;&lt;br /&gt;&lt;br /&gt;Yes, you could     &lt;div&gt;     &lt;ol&gt;       &lt;li&gt;type it in by hand&lt;/li&gt;        &lt;li&gt;&lt;a href="http://en.wikipedia.org/wiki/Computing_%CF%80"&gt;have your ML system calculate it for you&lt;/a&gt;&lt;/li&gt;        &lt;li&gt;or use the default value that comes with your ML.&lt;/li&gt;     &lt;/ol&gt;   &lt;/div&gt;&lt;br /&gt;Here's how you'd access Pi on Moscow ML:&lt;br /&gt;&lt;pre class="prettyprint"&gt;Oh:~ noes$ mosml&lt;br /&gt;Moscow ML version 2.01 (January 2004)&lt;br /&gt;Enter `quit();' to quit.&lt;br /&gt;- Math.pi;&lt;br /&gt;! Toplevel input:&lt;br /&gt;! Math.pi;&lt;br /&gt;! ^^^^^^^&lt;br /&gt;! Cannot access unit Math before it has been loaded.&lt;br /&gt;- load "Math";&lt;br /&gt;&amp;gt; val it = () : unit&lt;br /&gt;- Math.pi;&lt;br /&gt;&amp;gt; val it = 3.14159265359 : real&lt;br /&gt;&lt;/pre&gt;Next up, Poly/ML!&lt;br /&gt;&lt;pre class="prettyprint"&gt;Om:~ nomnom$ poly&lt;br /&gt;Poly/ML 5.2 Release&lt;br /&gt;&amp;gt; Math.pi;&lt;br /&gt;val it = 3.141592654 : Real.Math.real&lt;br /&gt;&lt;/pre&gt;… and Poly soundly trounces Moscow*! What a high bar for SML/NJ! Let's see what she can do:&lt;br /&gt;&lt;pre class="prettyprint"&gt;Pinku:~ bentobox$ sml&lt;br /&gt;Standard ML of New Jersey v110.68 [built: Mon Feb 23 23:22:21 2009]&lt;br /&gt;- Math.pi;&lt;br /&gt;[autoloading]&lt;br /&gt;[library $SMLNJ-BASIS/basis.cm is stable]&lt;br /&gt;[autoloading done]&lt;br /&gt;val it = 3.14159265359 : real&lt;br /&gt;&lt;/pre&gt;My conservative opinion is that in the long run &lt;del&gt;we are all dead&lt;/del&gt; &lt;i&gt;this "comparison" will mean nothing&lt;/i&gt;. &lt;b&gt;Caveat emptor&lt;/b&gt;: do your own research, choose your system based upon this "comparison" upon your mortal peril. &amp;lt;insert ominous music here /&amp;gt;&lt;br /&gt;&lt;br /&gt;&lt;span class="Apple-style-span"  style="font-size:x-small;"&gt;*in terms of convenience&lt;/span&gt;&lt;/insert&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/494293227624315247-3696042892679838268?l=unlicensedindications.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://unlicensedindications.blogspot.com/feeds/3696042892679838268/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=494293227624315247&amp;postID=3696042892679838268' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/3696042892679838268'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/494293227624315247/posts/default/3696042892679838268'/><link rel='alternate' type='text/html' href='http://unlicensedindications.blogspot.com/2009/06/how-to-install-standard-ml-on-os-x.html' title='How To Install Standard ML On OS X'/><author><name>imra</name><uri>http://www.blogger.com/profile/04260437746130066134</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><media:thumbnail xmlns:media='http://search.yahoo.com/mrss/' url='http://farm1.static.flickr.com/24/53973269_1947656f3b_t.jpg' height='72' width='72'/><thr:total>0</thr:total></entry></feed>
