Book Image

Hands-On Functional Programming with C++

By : Alexandru Bolboaca
Book Image

Hands-On Functional Programming with C++

By: Alexandru Bolboaca

Overview of this book

Functional programming enables you to divide your software into smaller, reusable components that are easy to write, debug, and maintain. Combined with the power of C++, you can develop scalable and functional applications for modern software requirements. This book will help you discover the functional features in C++ 17 and C++ 20 to build enterprise-level applications. Starting with the fundamental building blocks of functional programming and how to use them in C++, you’ll explore functions, currying, and lambdas. As you advance, you’ll learn how to improve cohesion and delve into test-driven development, which will enable you in designing better software. In addition to this, the book covers architectural patterns such as event sourcing to help you get to grips with the importance of immutability for data storage. You’ll even understand how to “think in functions” and implement design patterns in a functional way. By the end of this book, you’ll be able to write faster and cleaner production code in C++ with the help of functional programming.
Table of Contents (23 chapters)
Free Chapter
1
Section 1: Functional Building Blocks in C++
7
Section 2: Design with Functions
12
Section 3: Reaping the Benefits of Functional Programming
17
Section 4: The Present and Future of Functional Programming in C++

Putting the properties to the test

Let's see again the list of properties that we'd like to check:

  • 00 -> undefined (1 by default in pow function in C++)
  • 0[1 .. maxInt] -> 0
  • value: [1 .. maxInt]0 -> 1
  • value: [0 .. maxInt]1 -> value
  • xy = xy-1 * x

We will now implement each of the properties in turn. For every property, we will use either a normal example-based test, or the data generators inspired by the generate_ints_greater_than_1 function. Let's start with the simplest property—00 should be undefined—or actually 1 in its standard implementation.

Property: 00 -> undefined

The first one is quite simple to implement using a normal example-based test. We'll extract it in a function...