This friendly, lively, and engaging guide is perfect for any perplexed programmer. It lays out the principles of functional programming (FP) in a simple and concise way that will help you grok what FP is really all about.

This book discusses similarities between these programming paradigms and points out that both FP and OOP are actually moving closer toward one another. One prominent example is the use of lambda expressions in Java and other OOP languages.

This is a book on the functional paradigm in general. We'll use the world's most popular functional programming language: JavaScript. This makes it possible to practice and apply your acquired knowledge each day on real world programs.

It describes ways to avoid Python's imperative-style flow control, the nuances of callable functions, how to work lazily with iterators, and the use of higher-order functions. He also lists several third-party Python libraries useful for functional programming.

This book is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, etc.

This book explores the fundamentals of computer music and functional programming through the Haskell. It explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, etc.

This book is a multi-dimensional presentation of the OCaml language that combines an informal and intuitive approach to the language with a rigorous definition and a formal semantics of a large subset of the language, including ML.

This book shows how you can use a customized functional language to build fully functional mobile apps. You will build off the skills you’ve already developed to begin creating applications that you can put to immediate use.

This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.

This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

This book explores the role of Martin-Lof's constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice.

This is a book about functional programming in Scheme, which is a pragmatic choice of programming language in the functional programming paradigm, with unique flexibility due to the membership of the Lisp family of languages.

This book is a balanced, pragmatic exploration of Functional Programming (FP) in JavaScript. It explores the core principles of FP as they are applied to JavaScript without drowning in all the heavy terminology.

This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!

Learn the main concepts behind functional programming such as currying, partial application, and monads, and how to combine functional programming with your imperative programming projects.

All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It's time for that to change.

This book promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages (e.g. Eiffel).

This book is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.

This book is a step-by-step introduction to functional programming in Scheme. By means of numerous examples of varying complexity, it takes the reader on an entertaining and informative tour through the language.

This hands-on book shows you how to take advantage of OCaml's functional, imperative, and object-oriented programming styles with recipes for many real-world tasks. Quickly learn how to put OCaml to work for writing succinct and readable code.

This book provides a practical approach to functional programming and show how it compares to other programming paradigms (procedural and object-oriented). It is filled with examples that showcase functional concepts and techniques.

This book doesn't only focus on an imperative (or procedural) approach, but also includes purely functional algorithms and data structures. The examples are in multiple programming languages: Haskell, C, Python, C++, Scheme/Lisp.

We will build a small functional language called Fun which is a partial Haskell toy language. The knowledge to build such a modern functional language is not widely disseminated among many programmers.

This short, targeted book will help you quickly get on top of the new, essential Java 8 language features and the functional style that will change and improve your code.

This book is an introduction and a guide to getting started with functional programming (FP) development. It introduces the reader to the core Scala syntax and its OO models with examples and solutions that build confidence with the language.

This book is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp.

In this book, we aim to introduce you both to the Haskell language, from the very basics to its most advanced features, and to computer programming in general.

This book is about functional programming techniques in Perl. It's about how to write functions that can modify and manufacture other functions.

This book teaches how to program in C, assuming that the student has already learnt how to formulate algorithms in a functional style.

This book is both a comprehensive introduction to Qi and to functional programming, covers foundational material and explores the theoretical foundations of Qi, including lambda calculus, type theory and logic programming, etc.

The book gives you the development tools and language details of Clojure needed to start playing with real programs immediately.

This is an introduction to the techniques of functional programming, focusing on an alternative computational model - Graph Rewriting Systems. The book demonstrates and discusses the potential power of concurrent functional programming and the implementation on loosely coupled parallel architectures.

This book provides a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to help students to develop, modify and experiment with their own implementations.

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style, assumes that the reader is familiar with functional programming.

This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is laid out in precise computational form.

In this category theory for programmers, the author illustrates all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power.

Using databases as an entry to category theory, this book explains category theory by examples, and shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style, assumes that the reader is familiar with functional programming.

This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

This book introduces the concepts of functional and symbolic programming, applies these techniques to some problems of varying complexity, and eventually discusses the implementation of an abstraction layer for solving problems.