Showing posts with label functional programming. Show all posts
Showing posts with label functional programming. Show all posts

Practical OCaml Review

Practical OCaml
Average Reviews:

(More customer reviews)
Are you looking to buy Practical OCaml? Here is the right place to find the great deals. we can offer discounts of up to 90% on Practical OCaml. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Practical OCaml ReviewThis is a bad book. It's unfortunate, too, because it was a great idea. The book contains many errors, from typos to grammatical errors to code indentation issues to problems which demonstrate a complete misunderstanding of the subject matter. As a professional OCaml programmer, it is clear to me that this was not written by somebody who understands the subject.
Trying to learn OCaml from this book is a very bad idea; you will end up discouraged and confused at best. Please don't buy it.Practical OCaml OverviewObjective Caml (OCaml) is an open sourced programming language that allows a programmer to utilize both functional and object oriented programming. A very fast and efficient language, oCaml's speed is on par with the likes of C/C++. The compiler is available for a variety of platforms, including Windows, Unix, Linux, and Apple. OCaml can be found in a variety of scientific applications and well as a teaching language in universities.Practical OCaml teaches Objective Caml in a straightforward and practical manner. All the features of this functional programming language are taught by example. You will learn how to utilize the OCaml language to create a simple database, do reporting, and create a spam filter. You will also learn how to do complex log file scanning, create your own network servers by creating a shoutcast server, and create a web crawler. By this book's conclusion, you will be well on your way to creating your own applications with OCaml, as well as knowing when and why OCaml should be used.

Want to learn more information about Practical OCaml?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...

Practical Common Lisp Review

Practical Common Lisp
Average Reviews:

(More customer reviews)
Are you looking to buy Practical Common Lisp? Here is the right place to find the great deals. we can offer discounts of up to 90% on Practical Common Lisp. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Practical Common Lisp ReviewI've been recommending this text to people who want to start learning Common Lisp since it was first available in draft form on the author's web site. Now that it's out in print I can enthusiastically recommend that anybody who is interested in learning Common Lisp - or even curious about how the language can improve your productivity - purchase it.
Peter has a very enjoyable and easy-to-understand writing style, and he starts early with practical examples that show how Common Lisp can be used to solved problems. Chapter 3, "A Simple Database", is a great explanation of how programs are grown from pieces in Common Lisp to solve large problems. It's presented early and draws people in to the problem solving techniques used when programming in Lisp.
Peter doesn't skimp on details, though: detailed chapters on FORMAT (for formatted output), LOOP (for general iteration / value collection), and CLOS (the Common Lisp Object System) provide a wonderful tutorial to these powerful but complex features.
The book ends with a long string of practical examples that synthesize multiple concepts into programs that are useful and show exactly why programming in Lisp is so cool. The last practical example, which builds a HTML generation library in Lisp, gives the reader a taste of why writing a Domain-Specific Language is so easy in Lisp and why it can integrate so well with the rest of the language.
Peter is very enthusiastic about Common Lisp and it shows in his writing. Unlike other authors (Paul Graham comes to mind) he gives every major feature of the language its due and shows how and where it should be used.
Practical Common Lisp may be one of the most fun books on programming you'll read all year. Even if you're just curious, check it out. It may change the way you program.Practical Common Lisp Overview...it has a fresh view on the language and the examples in the later chapters are usable in your day-to-day work as a programmer. — Frank Buss, Lisp Programmer and Slashdot ContributorIf you're interested in Lisp as it relates to Python or Perl, and want to learn through doing rather than watching, Practical Common Lisp is an excellent entry point. — Chris McAvoy, Chicago Python Users Group Lisp is often thought of as an academic language, but it need not be. This is the first book that introduces Lisp as a language for the real world.
Practical Common Lisp presents a thorough introduction to Common Lisp, providing you with an overall understanding of the language features and how they work. Over a third of the book is devoted to practical examples such as the core of a spam filter and a web application for browsing MP3s and streaming them via the Shoutcast protocol to any standard MP3 client software (e.g., iTunes, XMMS, or WinAmp). In other "practical" chapters, author Peter Seibel demonstrates how to build a simple but flexible in-memory database, how to parse binary files, and how to build a unit test framework in 26 lines of code.


Want to learn more information about Practical Common Lisp?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...

Concepts in Programming Languages Review

Concepts in Programming Languages
Average Reviews:

(More customer reviews)
Are you looking to buy Concepts in Programming Languages? Here is the right place to find the great deals. we can offer discounts of up to 90% on Concepts in Programming Languages. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Concepts in Programming Languages ReviewI can't speak to John Mitchell's skill as a lecturer, but some of the complaints here seem to betray a misunderstanding of the purpose of the book: to serve as an introduction to programming language theory, such as can be found in Mitchell's other book *Foundations for Programming Languages*. Mitchell is taking you *out of* the marketable skills zone and into abstract computer science, and he's being pretty nice about it -- the book contains friendly precises of topics like lambda calculus and denotational semantics, which make up the formal core of programming languages. What you will learn has applications in all popular programming languages, even if it's not spelled out in the text.
ML was a good choice as an example language, because it includes many of the features a programming language might have (being both imperative and functional), and furthermore is a serious research language on account of its well-understood semantics and type system. Focusing on it to explain core concepts was not a mistake. Mitchell knows how to do it the other way, too: explanations of the basic elements of object-orientation are parceled out over several notable OO languages, providing a way to compare and contrast how the major OO concepts can be implemented. (I didn't find the final chapter, Apt's summary of Prolog, as helpful: the declarative paradigm is too far removed from what was developed in the rest of the book.)
On account of its relatively gentle explanations and the importance of its concepts for all aspects of CS, this would be a good book for a relative beginner in CS to pick up (provided they can comprehend more than just code). But if you find it too repellent, you're probably not going to be much happier with more advanced treatments: its character just reflects the nature of the field.Concepts in Programming Languages OverviewConcepts in Programming Languages elucidates the central concepts used in modern programming languages, such as functions, types, memory management, and control.The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages.Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability.A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems.

Want to learn more information about Concepts in Programming Languages?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...

Types and Programming Languages Review

Types and Programming Languages
Average Reviews:

(More customer reviews)
Are you looking to buy Types and Programming Languages? Here is the right place to find the great deals. we can offer discounts of up to 90% on Types and Programming Languages. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Types and Programming Languages ReviewThis text is perhaps the most accessible yet thorough introduction to type systems I've encountered.
On the one hand, it offers excellent grounding: practical motivation is provided, numerous examples illustrate the concepts, and implementations are provided which can be used to typecheck and evaluate these examples. At various points, extended demonstrations of the type systems under consideration are given (e.g. showing how objects may be encoded). The exercises are well constructed and in many cases, accompanied with answers and detailed explanations in the appendix.
On the other hand, it offers an excellent exposition of the material: Pierce provides a lucid account of the static and dynamic semantics (primarily small-step operational) for various lambda calculi. He proceeds in a stepwise fashion via the gradual accretion of features: from first order (simply typed) systems to higher order systems incorporating bounded subtyping and recursion. He also gives attention to the metatheory of these systems (focusing on proofs of progress and preservation, and for systems with subtyping, of decideability). Internally, the text is well organized, with clear dependencies among the chapters, and the bibliography is extensive.
It should be noted that, while reasonably comprehensive, the text is necessarily limited in scope. For example, aside from the discussion on Featherweight Java, systems other than typed lambda calculus variants are not considered. In my opinion, the focus on these (in some sense "low-level") calculi makes foundational issues more apparent, and the linear progression from simple to complex variants lends a pleasant cohesiveness that would have been lost in a more general survey. However, as object/class encodings were discussed at various points, it would have been nice to see a more integrated presentation, in the spirit of the paper Comparing Object Encodings [BCP97].Types and Programming Languages OverviewA type system is a syntactic method for automatically checking theabsence of certain erroneous behaviors by classifying program phrases according tothe kinds of values they compute. The study of type systems--and of programminglanguages from a type-theoretic perspective -- -has important applications insoftware engineering, language design, high-performance compilers, and security.Thistext provides a comprehensive introduction both to type systems in computer scienceand to the basic theory of programming languages. The approach is pragmatic andoperational; each new concept is motivated by programming examples and the moretheoretical sections are driven by the needs of implementations. Each chapter isaccompanied by numerous exercises and solutions, as well as a runningimplementation, available via the Web. Dependencies between chapters are explicitlyidentified, allowing readers to choose a variety of paths through the material.Thecore topics include the untyped lambda-calculus, simple type systems, typereconstruction, universal and existential polymorphism, subtyping, boundedquantification, recursive types, kinds, and type operators. Extended case studiesdevelop a variety of approaches to modeling the features of object-orientedlanguages.

Want to learn more information about Types and Programming Languages?

>> Click Here to See All Customer Reviews & Ratings Now
Read More...