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 contents
Part I: Introducing Functional ProgrammingIn 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.
Want more?
Many of the topics in this book, and more, are covered on my website at fsharpforfunandprofit.com.
Feedback wanted!
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 60-day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
Do Well. Do Good.
Authors have earned$11,574,417writing, publishing and selling on Leanpub, earning 80% royalties while saving up to 25 million pounds of CO2 and up to 46,000 trees.
Learn more about writing on Leanpub
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.
Learn more about Leanpub's ebook formats and where to read them
Top Books
Recipes for Decoupling
Matthias NobackThe BDD Books - Discovery (Japanese Edition)
Gáspár Nagy, Seb Rose, and Yuya Kazamaウクライナ難民を支援 - 2022年5月末まで延長!
この本の売り上げの50%は、 https://unicef.hu/veszhelyzet-ukrajnaban と https://int.depaulcharity.org/fundraising-for-depaul-ukraine/ に寄付されます。
本書籍は、振る舞い駆動開発(Behavior Driven Development, BDD)や受け入れテスト駆動開発(Acceptance Test-Driven Development, ATDD)の発見フェーズを最大限に活用する方法を提供します。
SignalR on .NET 6 - the Complete Guide
Fiodar SazanavetsLearn everything there is to learn about SignalR and how to integrate it with the latest .NET 6 and C# 10 features. Learn how to connect any type of client to SignalR, including plain WebSocket client. Learn how to build interactive applications that can communicate with each other in real time without making excessive calls.
Agile Testing Condensed Japanese Edition
Yuya Kazama, Janet Gregory, and Lisa CrispinJanet GregoryとLisa Crispinによる2019年9月発行の書籍『Agile Testing Condensed』の日本語翻訳版です。アジャイルにおいてどのような考えでテストを行うべきなのか簡潔に書かれています!
OpenIntro Statistics
David Diez, Christopher Barr, Mine Cetinkaya-Rundel, and OpenIntroA complete foundation for Statistics, also serving as a foundation for Data Science.
Leanpub revenue supports OpenIntro (US-based nonprofit) so we can provide free desk copies to teachers interested in using OpenIntro Statistics in the classroom and expand the project to support free textbooks in other subjects.
More resources: openintro.org.
The easiest way to learn design patterns
Fiodar SazanavetsLearn design patterns in the easiest way possible. You will no longer have to brute-force your way through each one of them while trying to figure out how it works. The book provides a unique methodology that will make your understanding of design patterns stick. It can also be used as a reference book where you can find design patterns in seconds.
Functional event-driven architecture: Powered by Scala 3
Gabriel VolpeExplore the event-driven architecture (EDA) in a purely functional way, mainly powered by Fs2 streams in Scala 3!
Leverage your functional programming skills by designing and writing stateless microservices that scale, powered by stateful message brokers.
Tech Giants in Healthcare
Dr. Bertalan MeskoThis comprehensive guide, Tech Giants in Healthcare, clarifies how and why big tech companies step into healthcare, and breaks it down from one market player to the other in what direction they are going, what tools they are using and what horizons they have in front of them.
CCIE Service Provider Version 4 Written and Lab Exam Comprehensive Guide
Nicholas RussoThe service provider landscape has changed rapidly over the past several years. Networking vendors are continuing to propose new standards, techniques, and procedures for overcoming new challenges while concurrently reducing costs and delivering new services. Cisco has recently updated the CCIE Service Provider track to reflect these changes; this book represents the author's personal journey in achieving that certification.
Mastering STM32 - Second Edition
Carmine NovielloWith more than 1200 microcontrollers, STM32 is probably the most complete ARM Cortex-M platform on the market. This book aims to be the first guide around that introduces the reader to this exciting MCU portfolio from ST Microelectronics and its official CubeHAL and STM32CubeIDE development environment.
Top Bundles
- #1
Practical FP in Scala + Functional event-driven architecture
2 Books
Practical FP in Scala (A hands-on approach) & Functional event-driven architecture, aka FEDA, (Powered by Scala 3), together as a bundle! The content of PFP in Scala is a requirement to understand FEDA so why not take advantage of this bundle!? - #2
All the Books of The Medical Futurist
6 Books
We 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... - #3
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... - #4
CCIE Service Provider Ultimate Study Bundle
2 Books
Piotr 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... - #6
Pattern-Oriented Memory Forensics and Malware Detection
2 Books
This training bundle for security engineers and researchers, malware and memory forensics analysts includes two accelerated training courses for Windows memory dump analysis using WinDbg. It is also useful for technical support and escalation engineers who analyze memory dumps from complex software environments and need to check for possible...