Introduction Functional Programming
After the success of the first edition, Introduction to Functional Programming using Haskell has been thoroughly updated and revised to provide a complete grounding in the principles and techniques of programming with functions. The second edition uses the popular language Haskell to express functional programs. There are new chapters on program optimisation, abstract datatypes in a functional setting, and programming in a monadic style. There are complete new case studies, and many new exercises. As in the first edition, there is an emphasis on the fundamental techniques for reasoning about functional programs, and for deriving them systematically from their specifications. The book is self-contained, assuming no prior knowledge of programming and is suitable as an introductory undergraduate text for first- or second-year students.
Stats for nerds
7recommend
8mentions
7people
2014–2021years
88% recommend13% neutral
Mentions per year
What Hacker News says
- I have good experience with this book: An Introduction to Functional Programming Through Lambda Calculus https://www.amazon.com/Introduction-Functional-Programming-C...
It starts with the general rules of lambda calculus, then build up some basic functions (like in the PDF linked in this thread) and continues to build data types like Natural Numbers, List, String, Tree and operators for manipulating them. The book also explains about the evaluation methods as well as covering how ML and LISP uses lambda calculus.
- Best resource I've found is a book called "Introduction to Functional Programming through Lambda Calculus": https://www.amazon.com/Introduction-Functional-Programming-C...
- This is an excellent book from the pen and paper era, that is more than modern (functional programming is popular now): https://www.amazon.com/Introduction-Functional-Programming-C...
- From my favorite author Anthony J. Dos Reis[0]
If you want to learn assembly language, computer architecture and C++ all at the same time: Assembly Language and Computer Architecture Using C++ and Java , Course Technology, 2004 [1]
If you want to learn how to write compilers, context free grammars, regular expressions and implement grep: Compiler Construction Using Java, JavaCC, and Yacc, IEEE/Wiley, 2012 [2]
If you want to learn functional programming, lambda calculus and LISP: An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson [3]
My programming skills had grown dramatically with this books. I would wholeheartedly recommend the books mentioned above for those who are interested to learn.
[0] - http://cs.newpaltz.edu/~dosreist/
[1] - https://www.amazon.com/Assembly-Language-Computer-Architectu...
[2] - https://www.amazon.com/Compiler-Construction-Using-Java-Java...
[3] - https://www.cs.rochester.edu/~brown/173/readings/LCBook.pdf - https://www.amazon.com/Introduction-Functional-Programming-C...
- Any book on Lambda calculus http://www.amazon.com/Introduction-Functional-Programming-Ca...
https://www.edx.org/course/introduction-functional-programmi...! is a MOOC in Haskell
- Looks like an updated version of his 1998 book "Introduction to Functional Programming using Haskell":
http://www.amazon.com/Introduction-Functional-Programming-us...
The 1998 book was excellent, except that it came just before Haskell 98 and so one or two examples needed a little modification before they would build with GHC, but really it was a paper and pencil type of thing. I read the whole thing sitting in a copyright library without a computer because the book was two expensive to buy and was not in my university library. Looks like that won't change with this update.
Related
An introduction to functional programming through Lambda calculus
14 recommend · 19
Introduction to functional programming
7 recommend · 10
Pearls of functional algorithm design
17 recommend · 29
Practical Common Lisp
218 recommend · 400
On LISP
192 recommend · 533
Structure and Interpretation of Computer Programs
347 recommend · 761
