<div dir="ltr"><div dir="ltr">I'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"><<a href="mailto:stephanh42@gmail.com" target="_blank">stephanh42@gmail.com</a>></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&field-author=Robin%20Milner&search-alias=books&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&field-author=Robert%20Harper&search-alias=books&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&field-author=David%20MacQueen&search-alias=books&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&field-author=Mads%20Tofte&search-alias=books&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'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'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 <<a>skanaley@gmail.com</a>> wrote:<br> > I can't speak to ML vs. Haskell starter-friendliness but I can provide a<br> > link to a free online Haskell book:<br> ><br> > <a href="http://book.realworldhaskell.org/read/" target="_blank">http://book.realworldhaskell.org/read/</a><br> ><br> > It's the Haskell equivalent of "Practical Common Lisp".<br> ><br> > If you end up liking Haskell, the book Haskell School of Expression is very<br> > good. It takes you through the construction of DSLs for functional reactive<br> > programming (FRP), an imperative language to control robots (simulated on<br> > screen with simple graphics), and one to describe music in the abstract and<br> > then convert it to a MIDI file. It's more heavily math based, often asking<br> > for proofs as exercises, but if that's not what you like it's not really<br> > necessary to do them anyway.<br> ><br> > Note that I'm not attempting to persuade you from ML and the recommendations<br> > already given, merely sharing what I personally know better...though I will<br> > say that the Haskell type system to include its classes, families,<br> > functional dependencies, transformers, GADTs, etc. is probably the best one<br> > in existence, or at least in common use...<br> ><br> ><br> > On 07/04/2013 10:36 AM, Grant Rettke wrote:<br> >><br> >> Hi,<br> >><br> >> One of my current projects is to master as functional and statically<br> >> typed programming language. Having discussed and debated it years ago<br> >> (partially on list here, too) the conclusion was reached that SML<br> >> would be a nicer place to start than Haskell or Clean. Fifteen years<br> >> after its release, there seems to be a lot of knowledge but not a ton<br> >> of resources exactly. There are a lot of dead links and books out of<br> >> print (working off the SML/NJ resource list). I'm wondering of ACM's<br> >> digital library is a good place to start.<br> >><br> >> Last week I worked through _ML for the Working Programmers_ which was<br> >> great but didn't get into the details in a way that I would have<br> >> expected (went from 10mph to 100mph instead). Up next is _The Little<br> >> MLer_ and Harpers _Programming in Standard ML_.<br> >><br> >> This list's members have a breadth and depth far beyond most, so I'm<br> >> wondering if I could get your help here and learn about your favorite<br> >> learning SML resources.<br> >><br> >> Best wishes,<br> >><br> ><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> 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>