[racket] Offtopic: Favorite resources for mastering SML?

From: natxo cabre (natxo.cabre at gmail.com)
Date: Fri Jul 5 13:47:53 EDT 2013

Thanks Matthias,

I'm actually reading the "realm of racket" book and I'm really enjoying it.
So, I was thinking what's the next step: probably I will start with Typed
Racket as you suggested.



2013/7/5 Matthias Felleisen <matthias at ccs.neu.edu>

>
> BSL ISL then ASL. From there, jump to Racket and Typed Racket.
>
> If you must, flip a coin and learn yourself OCaml or Haskell or F#.
>
>
> On Jul 5, 2013, at 4:17 AM, natxo cabre wrote:
>
> I'm also interested in knowing your recommendation about which language is
> better for starters: SML or Haskell? and why?
>
>
> 2013/7/4 Stephan Houben <stephanh42 at gmail.com>
>
>> If you want to go hardcore, you could consider The Definition of
>> Standard ML - Revised Robin Milner<http://www.amazon.com/s/ref=ntt_athr_dp_sr_1?_encoding=UTF8&field-author=Robin%20Milner&search-alias=books&sort=relevancerank>
>>  (Author), Robert Harper<http://www.amazon.com/s/ref=ntt_athr_dp_sr_2?_encoding=UTF8&field-author=Robert%20Harper&search-alias=books&sort=relevancerank>
>>  (Author), David MacQueen<http://www.amazon.com/s/ref=ntt_athr_dp_sr_3?_encoding=UTF8&field-author=David%20MacQueen&search-alias=books&sort=relevancerank>
>> (Author), Mads Tofte<http://www.amazon.com/s/ref=ntt_athr_dp_sr_4?_encoding=UTF8&field-author=Mads%20Tofte&search-alias=books&sort=relevancerank>
>>  (Author)
>>
>> Nice book, a bit dense though.
>>
>> Stephan
>>
>> Op donderdag 4 juli 2013 schreef Todd O'Bryan (toddobryan at gmail.com) het
>> volgende:
>>
>> I have to put in a plug for Learn You a Haskell for Great Good. It's
>>> quite entertaining and several of my high school students have managed
>>> to work their way through most of it.
>>>
>>> http://www.learnyouahaskell.com
>>>
>>> Todd
>>>
>>> On Thu, Jul 4, 2013 at 11:44 AM, Sean Kanaley <skanaley at gmail.com>
>>> wrote:
>>> > I can't speak to ML vs. Haskell starter-friendliness but I can provide
>>> a
>>> > link to a free online Haskell book:
>>> >
>>> > http://book.realworldhaskell.org/read/
>>> >
>>> > It's the Haskell equivalent of "Practical Common Lisp".
>>> >
>>> > If you end up liking Haskell, the book Haskell School of Expression is
>>> very
>>> > good.  It takes you through the construction of DSLs for functional
>>> reactive
>>> > programming (FRP), an imperative language to control robots (simulated
>>> on
>>> > screen with simple graphics), and one to describe music in the
>>> abstract and
>>> > then convert it to a MIDI file.  It's more heavily math based, often
>>> asking
>>> > for proofs as exercises, but if that's not what you like it's not
>>> really
>>> > necessary to do them anyway.
>>> >
>>> > Note that I'm not attempting to persuade you from ML and the
>>> recommendations
>>> > already given, merely sharing what I personally know better...though I
>>> will
>>> > say that the Haskell type system to include its classes, families,
>>> > functional dependencies, transformers, GADTs, etc. is probably the
>>> best one
>>> > in existence, or at least in common use...
>>> >
>>> >
>>> > On 07/04/2013 10:36 AM, Grant Rettke wrote:
>>> >>
>>> >> Hi,
>>> >>
>>> >> One of my current projects is to master as functional and statically
>>> >> typed programming language. Having discussed and debated it years ago
>>> >> (partially on list here, too) the conclusion was reached that SML
>>> >> would be a nicer place to start than Haskell or Clean. Fifteen years
>>> >> after its release, there seems to be a lot of knowledge but not a ton
>>> >> of resources exactly. There are a lot of dead links and books out of
>>> >> print (working off the SML/NJ resource list). I'm wondering of ACM's
>>> >> digital library is a good place to start.
>>> >>
>>> >> Last week I worked through _ML for the Working Programmers_ which was
>>> >> great but didn't get into the details in a way that I would have
>>> >> expected (went from 10mph to 100mph instead). Up next is _The Little
>>> >> MLer_ and Harpers _Programming in Standard ML_.
>>> >>
>>> >> This list's members have a breadth and depth far beyond most, so I'm
>>> >> wondering if I could get your help here and learn about your favorite
>>> >> learning SML resources.
>>> >>
>>> >> Best wishes,
>>> >>
>>> >
>>> > ____________________
>>> >  Racket Users list:
>>> >  http://lists.racket-lang.org/users
>>> ____________________
>>>   Racket Users list:
>>>   http://lists.racket-lang.org/users
>>>
>>
>> ____________________
>>   Racket Users list:
>>   http://lists.racket-lang.org/users
>>
>>
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130705/2ce63574/attachment.html>

Posted on the users mailing list.