<div dir="ltr"><div dir="ltr">I&#39;m also interested in knowing your recommendation about which language is better for starters: SML or Haskell? and why?</div><div class=""><div id=":1mv" class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/0/images/cleardot.gif"></div>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/7/4 Stephan Houben <span dir="ltr">&lt;<a href="mailto:stephanh42@gmail.com" target="_blank">stephanh42@gmail.com</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="padding:0.25em 0em"><h1 style="font-weight:normal;margin-bottom:0px;margin-top:0px"><font><span style="line-height:normal">If you want to go hardcore, you could consider</span></font></h1>
<h1 style="font-weight:normal;margin-bottom:0px;margin-top:0px"><span style="line-height:normal;background-color:rgba(255,255,255,0)"><font>The Definition of Standard ML - Revised</font></span></h1>
<font color="#000000"><span style="line-height:normal;background-color:rgba(255,255,255,0)"><a href="http://www.amazon.com/s/ref=ntt_athr_dp_sr_1?_encoding=UTF8&amp;field-author=Robin%20Milner&amp;search-alias=books&amp;sort=relevancerank" target="_blank">Robin Milner</a> <span>(Author)</span>, <a href="http://www.amazon.com/s/ref=ntt_athr_dp_sr_2?_encoding=UTF8&amp;field-author=Robert%20Harper&amp;search-alias=books&amp;sort=relevancerank" target="_blank">Robert Harper</a> <span>(Author)</span>, <a href="http://www.amazon.com/s/ref=ntt_athr_dp_sr_3?_encoding=UTF8&amp;field-author=David%20MacQueen&amp;search-alias=books&amp;sort=relevancerank" target="_blank">David MacQueen</a><span>(Author)</span>, <a href="http://www.amazon.com/s/ref=ntt_athr_dp_sr_4?_encoding=UTF8&amp;field-author=Mads%20Tofte&amp;search-alias=books&amp;sort=relevancerank" target="_blank">Mads Tofte</a> <span>(Author)</span></span></font></div>

<div style="margin-bottom:5px;margin-top:2px"><br></div>Nice book, a bit dense though.<div><br></div><div>Stephan</div><div><span></span><br>Op donderdag 4 juli 2013 schreef Todd O&#39;Bryan (<a href="mailto:toddobryan@gmail.com" target="_blank">toddobryan@gmail.com</a>) het volgende:<div>
<div class="h5"><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I have to put in a plug for Learn You a Haskell for Great Good. It&#39;s<br>
quite entertaining and several of my high school students have managed<br>
to work their way through most of it.<br>
<br>
<a href="http://www.learnyouahaskell.com" target="_blank">http://www.learnyouahaskell.com</a><br>
<br>
Todd<br>
<br>
On Thu, Jul 4, 2013 at 11:44 AM, Sean Kanaley &lt;<a>skanaley@gmail.com</a>&gt; wrote:<br>
&gt; I can&#39;t speak to ML vs. Haskell starter-friendliness but I can provide a<br>
&gt; link to a free online Haskell book:<br>
&gt;<br>
&gt; <a href="http://book.realworldhaskell.org/read/" target="_blank">http://book.realworldhaskell.org/read/</a><br>
&gt;<br>
&gt; It&#39;s the Haskell equivalent of &quot;Practical Common Lisp&quot;.<br>
&gt;<br>
&gt; If you end up liking Haskell, the book Haskell School of Expression is very<br>
&gt; good.  It takes you through the construction of DSLs for functional reactive<br>
&gt; programming (FRP), an imperative language to control robots (simulated on<br>
&gt; screen with simple graphics), and one to describe music in the abstract and<br>
&gt; then convert it to a MIDI file.  It&#39;s more heavily math based, often asking<br>
&gt; for proofs as exercises, but if that&#39;s not what you like it&#39;s not really<br>
&gt; necessary to do them anyway.<br>
&gt;<br>
&gt; Note that I&#39;m not attempting to persuade you from ML and the recommendations<br>
&gt; already given, merely sharing what I personally know better...though I will<br>
&gt; say that the Haskell type system to include its classes, families,<br>
&gt; functional dependencies, transformers, GADTs, etc. is probably the best one<br>
&gt; in existence, or at least in common use...<br>
&gt;<br>
&gt;<br>
&gt; On 07/04/2013 10:36 AM, Grant Rettke wrote:<br>
&gt;&gt;<br>
&gt;&gt; Hi,<br>
&gt;&gt;<br>
&gt;&gt; One of my current projects is to master as functional and statically<br>
&gt;&gt; typed programming language. Having discussed and debated it years ago<br>
&gt;&gt; (partially on list here, too) the conclusion was reached that SML<br>
&gt;&gt; would be a nicer place to start than Haskell or Clean. Fifteen years<br>
&gt;&gt; after its release, there seems to be a lot of knowledge but not a ton<br>
&gt;&gt; of resources exactly. There are a lot of dead links and books out of<br>
&gt;&gt; print (working off the SML/NJ resource list). I&#39;m wondering of ACM&#39;s<br>
&gt;&gt; digital library is a good place to start.<br>
&gt;&gt;<br>
&gt;&gt; Last week I worked through _ML for the Working Programmers_ which was<br>
&gt;&gt; great but didn&#39;t get into the details in a way that I would have<br>
&gt;&gt; expected (went from 10mph to 100mph instead). Up next is _The Little<br>
&gt;&gt; MLer_ and Harpers _Programming in Standard ML_.<br>
&gt;&gt;<br>
&gt;&gt; This list&#39;s members have a breadth and depth far beyond most, so I&#39;m<br>
&gt;&gt; wondering if I could get your help here and learn about your favorite<br>
&gt;&gt; learning SML resources.<br>
&gt;&gt;<br>
&gt;&gt; Best wishes,<br>
&gt;&gt;<br>
&gt;<br>
&gt; ____________________<br>
&gt;  Racket Users list:<br>
&gt;  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div></div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>