Understanding Functional Programming
Understanding Functional Programming
A practical approach with examples in F#
About the Book
Update Dec 2014:
A lot of people have asked me when the book will be ready. I apologize for the delay! I'm actively working on it now and hope to have some news next month. Stay tuned, and thanks for your patience!
The goals of this book
This book will introduce you to the core concepts of functional programming and show you ways that these techniques can help in day-to-day development of mainstream commercial business software.
And on the way, I hope to open your mind to the joys of functional programming as well. It's corny but true; there really is fun in being functional!
Learn to think functionally. "Thinking functionally" is critical to getting the most out of a functional programming language like F#, so I will spend a lot of time on getting the basics down, and I will avoid too much discussion of the hybrid and OO features.
Useful examples. The book will mostly focus on mainstream business problems, such as domain driven design, data processing, business rules, and so on. In the examples I will try to use business concepts such as Customer, Product, and Order, rather than overly academic ones.
The examples are in F#, but the ideas can easily be transferred to similar languages such as OCaml and Haskell.
Don't be scared. A functional programming language like F# can look very intimidating if you look at complex code without any background. In the beginning I will keep it very simple, and I have tried to anticipate the questions that a newcomer to functional programming concepts will have. If you work through the examples slowly (and in the right order) you should have no problem understanding everything.
Have fun! Many people claim that learning to think functionally will "blow your mind". Well, it's true! Learning a completely new paradigm is exciting and stimulating. You may fall in love with programming again.
Overview of contentsPart I: Introducing Functional Programming
In this first part we'll demystify functional programming and take a quick tour.
- Introduction: Why is functional programming so hard? In which we look at some reasons why functional programming (FP) is thought to be hard while object-oriented programming is considered easy. As you'll see, FP is not really as hard as it seems.
- Why use functional programming? Before diving into specific concepts, we'll take a brief tour of the kinds of things you can do with FP. We'll see first that FP code is concise. Compared to say, C# or Java, you generally need many fewer lines of code to implement the same feature. We'll see also that FP code is convenient. Most boilerplate code (such equality and comparison) can be eliminated or dramatically reduced. Finally, we'll look at how FP code can ensure correctness. In many cases, business rules can actually be encoded into the type system. This ensures that you cannot even compile code that does not conform to the requirements.
In this part we'll look at the fundamental concepts behind functional programming.
- Thinking functionally. This chapter will introduce the concepts behind functions, and demystify terms like "currying" and "partial application".
- Understanding types. FP is not just about functions; the powerful type system is another key ingredient. And just as with functions, understanding the type system is critical to being fluent and comfortable in the language. The chapter will explain the concepts behind "algebraic types", and show why they are so useful for business applications.
- Expressions and pattern matching. In a FP language like F#, everything is an expression. Not just values and functions, but also control flows. This takes some getting used to, but has many benefits, as we will see. This chapter will also explain the key concept of "pattern-matching".
- Understanding lists and other collections. Lists and other collections are the workhorse of any language. But we'll see that the lists in F# are not quite the same as the lists you might be used to in an imperative language.
Next, we'll introduce some common approaches functional patterns and techniques.
- Designing with types. In this chapter we will look at basic types such as Option and Choice/Either. We'll also show how to use types to represent business rules and ensure correctness.
- Functional Patterns. We'll meet some idiomatic FP patterns and techniques, including partial application, composition, continuation passing, monoids, and applicatives.
Finally, we'll build on the previous concepts in order to create working programs.
- Organizing code, structuring an application. This chapter will look at various techniques for organizing code when you don't have classes.
- Implementing a complete use-case. Here, we'll look at building a complete use case, including validation, persistence, error messages, etc.
In this section, we'll provide some tips for porting imperative and object-oriented code to functional code. Topics covered will include: dealing with immutability, implementing inheritance, method overloading, and so on.
We'll also compare object-oriented patterns to functional patterns and find that most of the OO patterns such as "strategy" and "decorator" are trivial in FP.
Many of the topics in this book, and more, are covered on my website at fsharpforfunandprofit.com.
If you have any comments on the planned contents of the book, please leave them in the comments section. Also, please go to the comments to respond to some polls on variants of this book, such as: would you like editions with other language examples (Haskell, Scala?), and is there any demand for a hard-copy (dead tree) edition?
The Leanpub 45-day 100% Happiness Guarantee
Within 45 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers), EPUB (for phones and tablets) and MOBI (for Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
C++ Best PracticesJason Turner
Level up your C++, get the tools working for you, eliminate common problems, and move on to more exciting things!
Digital-First EventsJoep Piscaer and Jana Boruta
The only resource you will ever need to launch your digital events program.
node-opcua by exampleEtienne Rossignon
Get the best out of node-opcua through a set of documented examples by the author himself that will allow you to create stunning OPCUA Servers or Clients.
Cloud StrategyGregor Hohpe
“Strategy is the difference between making a wish and making it come true.” A successful migration to the cloud can transform your organization, but it shouldn’t be driven by wishes. This book tells you how to develop a sound strategy guided by frameworks and decision models without being overly abstract nor getting lost in product details.
R Programming for Data ScienceRoger D. Peng
This book brings the fundamentals of R programming to you, using the same material developed as part of the industry-leading Johns Hopkins Data Science Specialization. The skills taught in this book will lay the foundation for you to begin your journey learning data science. Printed copies of this book are available through Lulu.
C++20 is the next big C++ standard after C++11. As C++11 did it, C++20 changes the way we program modern C++. This change is, in particular, due to the big four of C++20: ranges, coroutines, concepts, and modules.
The book is almost daily updated. These incremental updates ease my interaction with the proofreaders.
Sockets and PipesType Classes
Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell. Using a handful of everyday Haskell libraries, this book walks through reading the HTTP specification and implementing it to create a web server.
Atomic KotlinBruce Eckel and Svetlana Isakova
For both beginning and experienced programmers! From the author of the multi-award-winning Thinking in C++ and Thinking in Java together with a member of the Kotlin language team comes a book that breaks the concepts into small, easy-to-digest "atoms," along with exercises supported by hints and solutions directly inside IntelliJ IDEA!
Ansible for DevOpsJeff Geerling
Ansible is a simple, but powerful, server and configuration management tool. Learn to use Ansible effectively, whether you manage one server—or thousands.
Introducing EventStormingAlberto Brandolini
The deepest tutorial and explanation about EventStorming, straight from the inventor.
Software Architecture for Developers: Volumes 1 & 2 - Technical leadership and communication
2 Books"Software Architecture for Developers" is a practical and pragmatic guide to modern, lightweight software architecture, specifically aimed at developers. You'll learn:The essence of software architecture.Why the software architecture role should include coding, coaching and collaboration.The things that you really need to think about before...
Django for Beginners/APIs/Professionals
CCIE Service Provider Ultimate Study Bundle
2 BooksPiotr Jablonski, Lukasz Bromirski, and Nick Russo have joined forces to deliver the only CCIE Service Provider training resource you'll ever need. This bundle contains a detailed and challenging collection of workbook labs, plus an extensively detailed technical reference guide. All of us have earned the CCIE Service Provider certification...
Cisco CCNA 200-301 Complet
4 BooksCe lot comprend les quatre volumes du guide préparation à l'examen de certification Cisco CCNA 200-301.
Modern Management Made Easy
3 BooksRead all three Modern Management Made Easy books. Learn to manage yourself, lead and serve others, and lead the organization.
Linux Administration Complet
4 BooksCe lot comprend les quatre volumes du Guide Linux Administration :Linux Administration, Volume 1, Administration fondamentale : Guide pratique de préparation aux examens de certification LPIC 1, Linux Essentials, RHCSA et LFCS. Administration fondamentale. Introduction à Linux. Le Shell. Traitement du texte. Arborescence de fichiers. Sécurité...
CCDE Practical Studies (All labs)
3 BooksCCDE lab
All the Books of The Medical Futurist
6 BooksWe put together the most popular books from The Medical Futurist to provide a clear picture about the major trends shaping the future of medicine and healthcare. Digital health technologies, artificial intelligence, the future of 20 medical specialties, big pharma, data privacy, digital health investments and how technology giants such as Amazon...
Cloud Architect: Transform Technology and Organization
2 BooksArchitects don't just recite product names and features. They understand the options, decisions, and trade-offs behind them. They earn credibility and maintain authenticity by connecting the penthouse with the engine room. Get two essential books that redefine the role of the software and IT architect at one low price:37 Things One Architect...
2 BooksDocker and Kubernetes are taking the world by storm! These books will get you up-to-speed fast! Docker Deep Dive is over 400 pages long, and covers all objectives on the Docker Certified Associate exam.The Kubernetes Book includes everything you need to get up and running with Kubernetes!