Functional Programming

An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.

Erlang was created to build systems that never stop. From its origins in telecommunications to modern platforms like WhatsApp and RabbitMQ, its approach to concurrency and fault tolerance has shaped some of the world's most reliable software. This book teaches both the language and the principles behind building resilient, production-ready systems.

Build a strong foundation in Gleam and learn how to turn its simplicity into reliable, concurrent systems. From language basics and the BEAM to OTP, web development and deployment, this practical guide uses clear explanations and runnable examples to help you build software that is safe, scalable and ready for production.

Explore the event-driven architecture (EDA) in a purely functional way. Learn to design and develop distributed systems that scale. Identify common design patterns in such systems. Take your functional programming skills to the next level by joining me in developing a distributed system powered by Apache Pulsar and Fs2 streams, all in Scala 3!

After reading this book, you will understand everything in FP. Prove that your application's business logic satisfies the laws for free Tambara profunctor lens over a holographic co-product monoidal category (whatever that means), and implement the necessary code in Scala? Will be no problem for you.

Write code that you can understand without holding the entire system in your head. This book shows you how Java's modern functional features—records, sealed types, lambdas, streams—combine into a powerful approach to design. You'll learn: • How to eliminate race conditions without synchronized blocks • How to write tests that test business logic, not mock frameworks • How to compose complex behaviors from simple, reusable functions • How to manage deeply nested immutable data without boilerplate • How to adopt functional patterns incrementally in existing codebases Written for working developers. Filled with production-ready code examples.

Take a practical deep dive into modern Haskell development with GHC, Cabal, HLS and effect systems. Learn how the tools work under the hood, how they fit together and how to use them effectively in real production projects. Built for engineers who want to move beyond syntax and develop Haskell with confidence.

Programming in the modern era requires power and efficiency, and C++23 signifies the beginning of that era. This book captures that demand. To take your C++ skills to the next level, This book is about creating and breaking down real-world examples. You'll discover techniques that you can immediately apply to your own work.

A master class on the fundamentals and principles of functional programming. It contains 20 programming challenges with detailed solutions and 44 quizzes with answers and explanations. Moreover, 84 diagrams graphically illustrate how concepts and techniques work. Two real-world use cases show how to apply functional programming in practice.

Build It with Nitrogen: the Fast Off the Block Erlang Web Framework, guides web developers step-by-step through construction of highly reliable web applications. Nitrogen is designed for no-fuss development. It abstracts HTML and JavaScript into syntactically consistent elements and actions; preserves the scalability benefits of Erlang.

In this book, I have considered options with practical applications. This book also provides many examples of programming languages for further use in projects.

Build robust web applications and REST APIs with Haskell and Servant. This practical guide takes you from core Haskell concepts to type-safe API design, PostgreSQL, JWT authentication, testing and deployment. Along the way, you’ll build a complete versioned API using patterns that make real-world Servant projects reliable and maintainable.

Scheme looks simple by design, but beneath its tiny core lies a remarkably powerful way of thinking about programs. Essential Scheme takes you from your first expression to continuations, macros and interpreters, revealing the ideas behind the language along the way. Clear examples and careful explanations make Scheme’s deepest concepts approachable.

Whether you're new to programming or expanding your .NET skills, this book will help you master F# from the ground up. Through practical examples and real projects, you'll learn to write clean, reliable code, embrace functional programming and build modern applications with confidence.

Discover the power of Common Lisp through a clear, practical guide that takes you from your first S-expression to advanced macros, CLOS and the condition system. Learn not just how Lisp works but why it remains one of the world's most influential programming languages.