newseasonhw2015 Hier klicken mrp_family lagercrantz Cloud Drive Photos UHD TVs Learn More praktisch Siemens Shop Kindle Shop Kindle Autorip
ML for the Working Programmer und über 1,5 Millionen weitere Bücher verfügbar für Amazon Kindle. Erfahren Sie mehr
  • Alle Preisangaben inkl. MwSt.
Auf Lager.
Verkauf und Versand durch Amazon.
Geschenkverpackung verfügbar.
ML for the Working Progra... ist in Ihrem Einkaufwagen hinzugefügt worden
Gebraucht: Gut | Details
Verkauft von FatBrain
Zustand: Gebraucht: Gut
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Alle 2 Bilder anzeigen

ML for the Working Programmer (Englisch) Taschenbuch – 5. Januar 2010

1 Kundenrezension

Alle Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
"Bitte wiederholen"
EUR 65,47
EUR 62,46 EUR 23,61
8 neu ab EUR 62,46 11 gebraucht ab EUR 23,61
Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.


  • Taschenbuch: 500 Seiten
  • Verlag: Cambridge University Press; Auflage: 2 (5. Januar 2010)
  • Sprache: Englisch
  • ISBN-10: 052156543X
  • ISBN-13: 978-0521565431
  • Größe und/oder Gewicht: 17,4 x 2,6 x 24,7 cm
  • Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen  Alle Rezensionen anzeigen (1 Kundenrezension)
  • Amazon Bestseller-Rang: Nr. 219.597 in Fremdsprachige Bücher (Siehe Top 100 in Fremdsprachige Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr



"The book is an excellent introduction to ML, but even better, it provides a good overview of functional programming." Jeffrey Putnam, Computing Review

Über das Produkt

The major change for the new edition of the successful text is the extensive use of modules. In addition, the first chapter has been totally rewritten to make the book more accessible to first year students. The main features of new Standard Library for the revised version of ML are described, and many new examples are given.

Alle Produktbeschreibungen

In diesem Buch

(Mehr dazu)
The first ML compiler was built in 1974. Lesen Sie die erste Seite
Mehr entdecken
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:


5.0 von 5 Sternen
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Siehe die Kundenrezension
Sagen Sie Ihre Meinung zu diesem Artikel

Die hilfreichsten Kundenrezensionen

3 von 3 Kunden fanden die folgende Rezension hilfreich Von Daniel Belov am 8. Dezember 1999
Format: Taschenbuch
If you want to know something about ML, but learn it through good examples and interesting problems. This is the book! Also has some neat chapters on automated theorem proving, logic and interpreters.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen

Die hilfreichsten Kundenrezensionen auf (beta) 9 Rezensionen
21 von 21 Kunden fanden die folgende Rezension hilfreich
Very Worthwhile 6. März 2005
Von J. A. Smith - Veröffentlicht auf
Format: Taschenbuch
If you are looking for a book that will help extend your professional qualifications this is not it. However if work through this book you will emerge with much stronger programming skills in any programming language and gain some important insights in to writing intelligent programs.

The book teaches Standard ML. Standard ML is a clean, modern, strongly typed, functional programming language. Some SML compilers generate code that ranks among the best for higher level languages. Standard ML comes out of a community that has been interested in developing logical theorem provers and tools for formal analysis of programs. Don't let this scare you away -- any reasonably bright programmer should be able to follow Paulson's explanations.

The book provides an accessible introduction to programming with recursive functions, higher order functions (functions that process functions) and working with a language with polymorphic types (a little like C++'s templates but the compiler figures out the types). This is as much a book on algorithms and data structures from a functional point of view as it is a book on Standard ML.

I especially like the book's development of more advanced examples in the last two chapters. These have to do with writing programs that implement some key ideas in logic and computability theory. These were easy to follow even for a non-expert. I have a strong interest in how programs can be made to reason and learn and so these were really interesting.
19 von 19 Kunden fanden die folgende Rezension hilfreich
A special, important, idiosyncratic book 25. Juni 2011
Von Daniel Lyons - Veröffentlicht auf
Format: Taschenbuch Verifizierter Kauf
I bought this book and simultaneously Elements of ML Programming, ML97 Edition (2nd Edition). This book, ML for the Working Programmer, is a pretty unique book. It strikes me as a very personal book. The author seems to be involved in theorem proving, which probably explains why a chapter is devoted to the subject and another chapter is devoted to implementing the lambda calculus. I wouldn't normally consider these things working programmers are interested in, but it's easy to cut Paulson some slack because he's an easy writer. While the tone is precise most of the time, the author just can't hold back a ripping joke or a snide remark every once in a while. It's a charming book.

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.
38 von 46 Kunden fanden die folgende Rezension hilfreich
Completely mistitled 1. Juni 2004
Von Idiosyncrat - Veröffentlicht auf
Format: Taschenbuch
This book is not bad; the explanation of all that it does explain is very good. It's just somewhat impractical, especially given the name; the title is a terrible misnomer for a book whose major example projects involve a lambda calculus evaluator and a proof assistant for first-order logic (not exactly the sort of thing "working" programmers usually have to do!). It does have some pretty solid demonstrations of how to implement various useful data structures and algorithms in SML (e.g. trees), but no "real-world" projects.
The problem with this book is typical of the problem facing a lot of introductory material for many of the more academic languages-- they explain the theory behind the language very well and how the features work, but they don't really teach you how to organize programs in the language, stuff like what code to put in what file, when to use modules and functors, etc. If you cut your teeth in imperative OOP like I did, reading this book you might get to understand the features of this language, but without still being clear about how one would go about writing an actual program in it.
Still, this is a book worth owning.
9 von 9 Kunden fanden die folgende Rezension hilfreich
The past into the future? 22. März 2008
Von A Student - Veröffentlicht auf
Format: Taschenbuch
My interest in learning ML started with reading the writings of people like Paul Graham who extoll the virtues of functional programming. ML seemed like the most accessible language for someone coming from an imperative oop background (due to the absence of '(' ... ')' which permeate Lisp and Scheme). There is however a dearth of introductory material on the web and what is out there seems to offer a piece meal, fragmentary overview. So I picked up this book and was not disappointed.

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.
5 von 5 Kunden fanden die folgende Rezension hilfreich
the best!! 19. Juni 2010
Von King Yin Yan - Veröffentlicht auf
Format: Taschenbuch Verifizierter Kauf
A great book, by the creator of the theorem provers Cambridge LCF and Isabelle/HOL.

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.
Waren diese Rezensionen hilfreich? Wir wollen von Ihnen hören.