<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div style="-webkit-text-size-adjust: auto; ">There's a new OCaml book out:</div><div style="-webkit-text-size-adjust: auto; "> </div><div style="-webkit-text-size-adjust: auto; "><span style="font-family: '.HelveticaNeueUI'; font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: none; "><a href="http://shop.oreilly.com/product/0636920024743.do">http://shop.oreilly.com/product/0636920024743.do</a></div><div><span style="font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.292969); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469);"> </div><div><div class="detailheader" style="text-align: -webkit-auto; font-weight: bold; ">Real World OCaml</div><div class="detailSubHeader" style="text-align: -webkit-auto; ">Functional programming for the masses</div><div style="text-align: left; "><div class="AuthorName" style="text-align: -webkit-auto;padding: 3px 0px 5px; ">By <a href="http://shop.oreilly.com/product/0636920024743.do#tab_03" class="byLineLink" style="text-decoration: none; ">Jason Hickey, Anil Madhavapeddy, Yaron Minsky</a></div><div style="text-align: -webkit-auto;">Publisher: O'Reilly Media</div><div style="text-align: -webkit-auto;">Released: June 2013</div><div class="default" style="text-align: -webkit-auto; ">Pages: 450</div><div class="default" style="text-align: -webkit-auto; "> </div></div>Geoff</div><div style="-webkit-text-size-adjust: auto; "> On Jul 4, 2013, at 10:57, Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote: </div><blockquote type="cite" style="-webkit-text-size-adjust: auto; "><div> You should have skipped SML for Working Programmers. The Little MLer is an introduction to the idea of typed programming not an introduction to SML. But at least it avoids the basic mistakes of 'Working'. Harper's book is definitive. Once you're thru, you are done. Start over with OCaml then. It's maintained, has a large user community, and a ton of resources. The switch won't be difficult. On Jul 4, 2013, at 10:36 AM, Grant Rettke wrote: <blockquote type="cite">Hi, </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">One of my current projects is to master as functional and statically </blockquote><blockquote type="cite">typed programming language. Having discussed and debated it years ago </blockquote><blockquote type="cite">(partially on list here, too) the conclusion was reached that SML </blockquote><blockquote type="cite">would be a nicer place to start than Haskell or Clean. Fifteen years </blockquote><blockquote type="cite">after its release, there seems to be a lot of knowledge but not a ton </blockquote><blockquote type="cite">of resources exactly. There are a lot of dead links and books out of </blockquote><blockquote type="cite">print (working off the SML/NJ resource list). I'm wondering of ACM's </blockquote><blockquote type="cite">digital library is a good place to start. </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">Last week I worked through _ML for the Working Programmers_ which was </blockquote><blockquote type="cite">great but didn't get into the details in a way that I would have </blockquote><blockquote type="cite">expected (went from 10mph to 100mph instead). Up next is _The Little </blockquote><blockquote type="cite">MLer_ and Harpers _Programming in Standard ML_. </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">This list's members have a breadth and depth far beyond most, so I'm </blockquote><blockquote type="cite">wondering if I could get your help here and learn about your favorite </blockquote><blockquote type="cite">learning SML resources. </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">Best wishes, </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">-- </blockquote><blockquote type="cite">Grant Rettke | ACM, AMA, COG, IEEE </blockquote><blockquote type="cite"><a href="mailto:grettke@acm.org">grettke@acm.org</a> | <a href="http://www.wisdomandwonder.com/">http://www.wisdomandwonder.com/</a> </blockquote><blockquote type="cite">“Wisdom begins in wonder.” --Socrates </blockquote><blockquote type="cite">((λ (x) (x x)) (λ (x) (x x))) </blockquote><blockquote type="cite">“Life has become immeasurably better since I have been forced to stop </blockquote><blockquote type="cite">taking it seriously.” --Thompson </blockquote><blockquote type="cite"> </blockquote><blockquote type="cite">____________________ </blockquote><blockquote type="cite"> Racket Users list: </blockquote><blockquote type="cite"> <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a> </blockquote> </div></blockquote><blockquote type="cite" style="-webkit-text-size-adjust: auto; "><div>____________________  Racket Users list:  <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a> </div></blockquote></body></html>