Buy new:
$54.64$54.64
Arrives:
Tuesday, June 27
Ships from: Amazon Sold by: BiziBees
Buy used: $19.00
Other Sellers on Amazon
+ $12.94 shipping
100% positive over last 12 months
+ $12.94 shipping
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required. Learn more
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
ML for the Working Programmer, 2nd Edition 2nd Edition
| Price | New from | Used from |
Purchase options and add-ons
- ISBN-10052156543X
- ISBN-13978-0521565431
- Edition2nd
- PublisherCambridge University Press
- Publication dateJune 28, 1996
- LanguageEnglish
- Dimensions6.69 x 1.13 x 9.61 inches
- Print length500 pages
Frequently bought together

Customers who viewed this item also viewed
Elements of ML Programming, ML97 EditionJeffrey UllmanPaperback$11.67 shippingGet it as soon as Wednesday, Jun 28Only 1 left in stock - order soon.
Editorial Reviews
Review
Book Description
Product details
- Publisher : Cambridge University Press; 2nd edition (June 28, 1996)
- Language : English
- Paperback : 500 pages
- ISBN-10 : 052156543X
- ISBN-13 : 978-0521565431
- Item Weight : 1.79 pounds
- Dimensions : 6.69 x 1.13 x 9.61 inches
- Best Sellers Rank: #1,650,657 in Books (See Top 100 in Books)
- #2,175 in Software Development (Books)
- #5,433 in Programming Languages (Books)
- #6,060 in Computer Software (Books)
- Customer Reviews:
About the author

Discover more of the author’s books, see similar authors, read author blogs and more
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on Amazon-
Top reviews
Top reviews from the United States
There was a problem filtering reviews right now. Please try again later.
The book is full of simple and elegant code, and it helped me understand better how to write idiomatic ML.
Of all the ML books I've seen (which is most of them) this seems to be the winner. I found Ullman's book a bit too compressed. For example, I wanted to see more material on the module system and functors; Paulson delivers, Ullman left me wanting. Ullman is very, "here's the syntax, here are the semantics." Paulson is much more, "here's three examples of what I am talking about, let's discuss the nuances." Both books spend a great deal of time discussing functional programming. I came into Standard ML from Haskell, so I found a lot of that material old hat, but again, I cut slack because these books are not new anymore but the language was fairly new when they were written. Functional programming techniques were very new and most people didn't have much exposure to them. If you are new to functional programming, I'm sure it won't disappoint.
If you're setting out to learn Standard ML, I think this is a great book with more of a tutorial feel than Ullman's. Also more depth in some areas, like modules. Then again, I like concise books too; I wouldn't say Ullman's is a bad book, just not as good for my purposes.
If you already know functional programming, you will probably want to skip a chapter or two. Particularly if you already know Haskell, you will probably find it very hard to get worked up over maps and folds. If your interest in ML is really an interest in the cutting edge of functional programming or type theory, this book is probably more of a historical curiosity, and you will probably get more out of something like Real World Haskell or Types and Programming Languages .
If you're shopping for a programming language, let me say that Standard ML is a language with few proponents these days. But, unlike most languages that are not widely used, there are four or five well-known, stable and mature compilers and interpreters available for Standard ML, for free. Because it is so perfectly defined, it isn't going anywhere while you aren't looking. It's a safe investment. Also, it is easier to learn than Haskell. There's fewer syntax rules (albeit more ceremony), but it's more familiar and more regular, easier to learn. Also, the runtime semantics are less weird because it is not lazily evaluated. On the other hand, Haskell really seems to be going places these days. If you are being strictly practical or strictly theoretical, the investment in Haskell is more likely to pay dividends and I'd get Real World Haskell. But if you give it a shot, you may find yourself charmed by this ugly duckling of a language and its quirky caretakers.
contents were in perfect condition. It was an excellent price for this
expensive text book.
While mastery of ML is by itself a great deal, the examples provided and the expositions there of help you become better at functional programming in particular and programming in general. The third and fourth chapters were eye-opening for me in understanding the full power of lists and trees. The chapters that follow just go on to become even better.
Do yourself a favor and invest your money and time in this extremely well written book.
ML was a language created by Robin Milner who had the ingenious idea of building LCF in ML and using ML's type system to ensure that theorems proved in LCF will always be secure.
This book explains programming in ML with an emphasis on building theorem provers, covering topics like lambda calculus.
The last chapter explains the full implementation of a simple theorem prover similar to LCF. This is invaluable to those who'd like to understand LCF, HOL, Isabelle, HOL Light, etc.
Paulson does an excellent job of introducing ML concepts in a clear logical manner. This book is about a lot more than ML though. Paulson teaches functional programming in this book with ML as the vehicle. This is a great book for self study. So why not five stars? The typesetting is horrendous. This is not a pretty book.
I think pretty much everyone will admit that ML never gained a lot of traction (Ocaml a bit more than SML I believe). The main problem I see with using ML for a large project is the lack of library support. So why learn ML? It turns out that ML has had an influence on new languages that have come out in recent years; F# and Scala are two. So time spent with ML should pay off when exploring these newer languages and whose close association with the .Net and Java platforms (respectively) cures the library availability dilemma.
Top reviews from other countries
Jedoch ist das Buch auch für viele interessant, die bereits programmieren können.
ML (Meta Language) ist eine funktionale Programmiersprache, die wirklich gut erklärt wird. Wenn man zuvor noch nie funktional programmiert hat, kann man aus diesem Buch so einiges mitnehmen.
Jedoch denke ich auch, dass Leute, die bereits funktionale Programmierung beherrschen, ebenfalls einiges aus diesem Buch lernen können, da es sehr umfassend ist.


