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 <[email protected]> > > 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 <[email protected]> > >> 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 ([email protected]) 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 <[email protected]> >>> 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 > > >
____________________ Racket Users list: http://lists.racket-lang.org/users
