Book Image

Mastering Functional Programming

Book Image

Mastering Functional Programming

Overview of this book

Functional programming is a paradigm specifically designed to deal with the complexity of software development in large projects. It helps developers to keep track of the interdependencies in the code base and changes in its state in runtime. Mastering Functional Programming provides detailed coverage of how to apply the right abstractions to reduce code complexity, so that it is easy to read and understand. Complete with explanations of essential concepts, practical examples, and self-assessment questions, the book begins by covering the basics such as what lambdas are and how to write declarative code with the help of functions. It then moves on to concepts such as pure functions and type classes, the problems they aim to solve, and how to use them in real-world scenarios. You’ll also explore some of the more advanced patterns in the world of functional programming such as monad transformers and Tagless Final. In the concluding chapters, you’ll be introduced to the actor model, which you can implement in modern functional languages, and delve into parallel programming. By the end of the book, you will be able to apply the concepts of functional programming and object-oriented programming (OOP)in order to build robust applications.
Table of Contents (17 chapters)

Algebraic approach

Functional and declarative programming can also be very well conceptualized as an algebraic style. For our purposes, an algebraic approach can be regarded as a certain language of mathematical expressions—a language that consists of two major elements: operators and operands. Operands can be taken to mean data, the information that you want to manipulate, while operators can be taken to mean their behavior as an how this data is utilized.

Consider the expression 1 + 2. Here, numbers 1 and 2 are operands. They represent some numeric data. The + symbol is an operator that binds them together. It has certain semantics associated with it, that of adding one number to another. But it is important to remember that the symbolic structure of the expression and its semantics are two separate things. You can take the expression as specified previously and assign...