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.
Ansible for KubernetesJeff Geerling
Ansible is a powerful infrastructure automation tool. Kubernetes is a powerful application deployment platform. Learn how to use these tools to automate massively-scalable, highly-available infrastructure.
Practical FP in Scala: A hands-on approachGabriel Volpe
A practical book aimed for those familiar with functional programming in Scala who are yet not confident about architecting an application from scratch.
Together, we will develop a purely functional application using the best libraries in the Cats ecosystem, while learning about design patterns and best practices.
Functional Design and ArchitectureAlexander Granin
Software Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.
Production HaskellMatt Parsons
Are you excited about Haskell, but don't know where to begin? Are you thrilled by the technical advantages, but worried about the unknown pitfalls? This book has you covered.
Tame your Work FlowSteve Tendon and Daniel Doiron
Do you need a high performance enterprise governance approach improving management, execution and delivery while dealing with multiple projects/products, events, stakeholders and teams? Giving you better bottom line results, faster time to market, less work, better predictability, happier employees, and delighted clients? Then learn about TameFlow!
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.
Machine Learning EngineeringAndriy Burkov
"If you intend to use machine learning to solve business problems at scale, I'm delighted you got your hands on this book."
—Cassie Kozyrkov, Chief Decision Scientist at Google
"Foundational work about the reality of building machine learning models in production."
—Karolis Urbonas, Head of Machine Learning and Science at Amazon
C++ Best PracticesJason Turner
Level up your C++, get the tools working for you, eliminate common problems, and move on to more exciting things!
Composing SoftwareEric Elliott
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.
El Manual del ManagerKeyvan Akbary, Félix López, and Álvaro Salazar
¿Has deseado alguna vez el haber tenido una buena introducción al rol del Engineering Manager? En este libro aprenderás lo necesario para ejercer el rol de una manera efectiva: Expectativas y Responsabilidades del Rol, 1-1s, Ayudar a Crecer, Objetivos, Planes de Carrera, Cultura, Feedback, Contratación, Cultura de Producto y mucho más.
The Tester's Library
8 BooksThe Tester's Library consists of eight five-star books that every software tester should read and re-read. As bound books, this collection would cost over $200. Even as e-books, their price would exceed $80, but in this bundle, their cost is only $49.99. Here are the books, and why they should be in your library: Perfect Software and Other...
11 BooksIn this bundle, you will find 10 different agile books. They are about different aspects of being agile. - finding a job - doing coding dojo's - Retrospectives - Personal kanban - a non-typical coaching book and even a book that gives you an insight in the lives of some agile people.
WTFlop 6M + HU - Beta Bundle
Marionette.js A to Z
Build A Better Backbone App
3 BooksThe best way to learn new development skills is through experience, but that takes time you don't have.Get the best of both worlds with this bundle: you'll learn how to produce modern web applications by learning from experienced developers like Derick Bailey and David Sulc. BackboneJS is one of the favorite tools on the web today, but it...
General Systems Thinker Bundle
5 BooksThe General Systems Thinker Bundle is just that: a bundle of five books to advance the reader one giant step toward improved thinking, based on General Systems principles. Four of the books are the complete General Systems Series. The fifth is fictional piece which shows some general systems thinkers in action. It's a mystery in which a group of...
Experiential Learning Bundle
4 BooksThis bundle provides all four volumes of the popular Experiential Learning Series at a savings of $20 over the price if purchased separately.
2 BooksAfter getting up and running with Ansible in Jeff Geerling's Ansible for DevOps, strengthen your skills managing tens to thousands of instances and services in Amazon's AWS cloud with Yan Kurniawan's Ansible for AWS.
Learn ECMAScript 6 inside and out
2 BooksFor any technology, it helps to get multiple points of view on the functionality to get the best possible understanding. For ECMAScript 6/2015, no two resources are recommended more frequently thanExploring ES6by Dr. Axel Rauschmayer andUnderstanding ECMAScript 6by Nicholas C. Zakas. These two points of view, investigating the specification and...
Software architecture, for systems old and new
2 BooksThis bundle includes books about hands-on software architecture.