Functional programming books review
alexott.net
Functional programming books review
1–10 of 59 posts
Re: Functional programming books review
#2Re: Functional programming books review
#3A lot of the stuff there is to know about functional programming is still only contained in academic papers, and indeed many of these listed books are texts in programming languages that cite a great deal of the important literature. There is much about programming languages and functional programming that one might read interspersed with these books. Other than following references in the backs of many of these books, the Haskell wiki is a good place for starting to dig into literature on functional programming, as many articles link to important and interesting papers.
On that note it's a bit strange not to see a few books on semantics, such as Transitions and Trees or Semantics Engineering with PLT Redex, listed among books like TAPL and Barendregt's Lambda Calculus. Especially now that DSL design is something many programmers are dabbling in, it makes sense to gain some background on operational semantics. I'd recommend either of these books to anyone working on DSLs, especially in a functional language.
Finally, it might be worth adding Homotopy Type Theory to your list, especially since the list already contains several good books about Coq as well as works about type theory and type systems.
Re: Functional programming books review
#4Great list! A lot of the stuff there is to know about functional programming is still only contained in academic papers, and indeed many of these listed books are texts in programming languages that cite a great deal of the important literature. There is much about programming languages and functional programming that one might read interspersed with these books. Other than following references in the backs of many o…
http://www.haskell.org/haskellwiki/Fold
http://www.haskell.org/haskellwiki/Monad
http://www.haskell.org/haskellwiki/All_About_Monads
http://www.haskell.org/haskellwiki/Learn_Haskell_in_10_minut...
http://www.haskell.org/haskellwiki/Typeclassopedia
Also check out http://adit.io/ for some great tutorials with pictures
Re: Functional programming books review
#5We are mostly working on Martin Odersky's Coursera courses and SICP book exercises.
Re: Functional programming books review
#6So, to get a quick and productive crash-course I would recommend just a few selected resources.
* SICP based course CS 61A by Brian Harvey (Youtube)
* HtDP2 and a wonderful course based on it - Introduction to Systematic Program Design by Gregor Kiczales (the author of The Art Of Metaobject Protocol)
* Armstrong's thesys armstrong_thesis_2003.pdf and his Programming Erlang book.
* Programming Languages course by Dan Grossman (also on Coursera)
* Two Scala courses Martin Odersky
* The classic Haskell tutorial http://www.haskell.org/tutorial/
* ANSI CL and On Lisp books by pg.
This is a very decent start in my opinion. "To learn quickly read only the best ones".
Re: Functional programming books review
#7I saw some really great videos there about concept of programming and data structures.
{pretty impressed}
Re: Functional programming books review
#8This is excellent review, no doubt, by a well known scholar.) The only problem is that there are so many books and so little time. So, to get a quick and productive crash-course I would recommend just a few selected resources. * SICP based course CS 61A by Brian Harvey (Youtube) * HtDP2 and a wonderful course based on it - Introduction to Systematic Program Design by Gregor Kiczales (the author of The Art Of Metaobje…
Re: Functional programming books review
#9Nice and useful! If you are in Hong Kong, we have a meetup group here: http://www.meetup.com/HK-Functional-programming/ We are mostly working on Martin Odersky's Coursera courses and SICP book exercises.
We have also revived the FP meetup in Singapore. Drop me a line, if you are interested, dear reader. (Email in profile.)