13 books
—
10 voters
Goodreads helps you keep track of books you want to read.
Start by marking “Introduction to Functional Programming using Haskell” as Want to Read:
Introduction to Functional Programming using Haskell
by
After the success of the first edition of Introduction to Functional Programming, the authors have thoroughly updated and revised this bestselling title. This book is unusual amongst books on functional programming in that it is primarily directed towards the concepts of functional programming, rather than their realization in a specific programming language. The book clea
...more
Paperback, 448 pages
Published
May 9th 1998
by Prentice Hall
(first published January 1st 1998)
Friend Reviews
To see what your friends thought of this book,
please sign up.
Reader Q&A
To ask other readers questions about
Introduction to Functional Programming using Haskell,
please sign up.
Be the first to ask a question about Introduction to Functional Programming using Haskell
Community Reviews
(showing 1-30)
Bird and Wadler (1st ed.) is one of two classic introductions to computer science, the other being SICP.
That said, SICP is a comprehensive overview of the essence of computer science narrated using Scheme and functional programming, while Bird and Wadler is a tutorial in functional abstractions and type-directed programming through Miranda, a precursor to Haskell. Both are must reads for anyone who wants to learn to program *the right way*, and they complement each other nicely.
Read the first e ...more
That said, SICP is a comprehensive overview of the essence of computer science narrated using Scheme and functional programming, while Bird and Wadler is a tutorial in functional abstractions and type-directed programming through Miranda, a precursor to Haskell. Both are must reads for anyone who wants to learn to program *the right way*, and they complement each other nicely.
Read the first e ...more
One of the most inspiring CS book I've ever read. The Elm / Redux pattern we are embracing today is actually introduced 30 years ago in this very book.
[1st Edition]Was a freshman year textbook used fir introducing Functional Programming at the Computer Science department at the University of Twente in 1994.
After many years I still think something like
[x^2| x<- 0...1000] is a brilliant succinct notation that is missing from OO languages such as Java.
It uses a Functional Language that looks Like Miranda. Nowadays probably Haskell would be used. Still a good book. And Miranda although outdated can still be run if you have something that run ...more
After many years I still think something like
[x^2| x<- 0...1000] is a brilliant succinct notation that is missing from OO languages such as Java.
It uses a Functional Language that looks Like Miranda. Nowadays probably Haskell would be used. Still a good book. And Miranda although outdated can still be run if you have something that run ...more
I highly recommend the book to anybody looking for a solid base of functional programming theory. The book can be dense at parts, and it is packed with information. The author touches on a wide variety of topics, from the basics about data types, to λ-calculus, domain theory, program derivation, functional data structures, time analysis, folds... the list is extensive. The focus is mainly on the theoretical side, being many of the exercises proofs.
The four instead of five stars is because, unfor ...more
The four instead of five stars is because, unfor ...more
For me, this was a great book for learning Haskell. Lots of rigorous proofs and great discussion of things like strictness and bottom values. What was great about the treatment was that each new concept was introduced with little fanfare. In the popular literature about Haskell a lot of (digital) ink is spilled over Monads, but really they're no big deal conceptually. On the other hand the implications of Monadic computations are far-reaching. The point this book makes is that progressing throug
...more
Jun 18, 2011
Karl
rated it
really liked it
·
review of another edition
Shelves:
computer-science,
non-fiction
Comprehensive, readable, and demanding. Language-agnostic to the extent that most code can be easily translated to most modern functional programming languages. However, the use of explicit partial computations and lazy evaluation makes it harder to follow examples, and complicates the program cost model and proofs by structural induction. As a strong point, the technique of program specification and derivation by inverse functions is elegantly described, easily mechanized, and of lasting value.
Jan 15, 2012
Peteris Erins
rated it
liked it
·
review of another edition
Shelves:
read-2012,
computer-science
While set up as an introductory book to languages of the Haskell family, the book actually has a fair share of theory which modern tutorials of Haskell lack. It presents a simple model of evaluation, discusses efficiency (e.g., foldl vs foldr) and is rich in examples of equational reasoning through derivation of functions from their specifications.
There are no discussion topics on this book yet.
Be the first to start one »
Goodreads is hiring!
Prof. Richard Simpson Bird is a computer scientist.
There are other authors named Richard Bird:
* Richard Bird — a horticultural expert and gardening author
* Richard Bird — a contemporary author
* Richard Bird — an early 20th-century author
There are other authors named Richard Bird:
* Richard Bird — a horticultural expert and gardening author
* Richard Bird — a contemporary author
* Richard Bird — an early 20th-century author
No trivia or quizzes yet. Add some now »
