An Outsider's Guide to Statically Typed Functional Programming
An Outsider's Guide to Statically Typed Functional Programming
About the Book
Dynamically typed functional languages like Clojure and Elixir are now at the point where I'd feel comfortable basing a commercial application on them. If you use Clojure instead of Java, or Elixir and Phoenix instead of Ruby on Rails, you'll be fine. Your app might still fail, but that won't be because of the technology stack.
Some statically typed languages mix functional programming and object-oriented programming. Some of them, like F# and Scala, are also safe choices.
This book was conceived as an attempt to demonstrate that the purer statically typed languages – ones like Elm, Haskell, and PureScript – are suitable for adoption by the early mainstream. That would require that they be well suited to handling messy domains, have the surrounding infrastructure necessary for language success in the modern day, and that the "how" of using the language features is well understood and accessible to a mainstream audience.
If so, the book would be poised to catch a wave.
"Brian @marick is always five years ahead of everything so I'll be buying this." – Michael Feathers, author of Working Effectively with Legacy Code, tweet of 23 May 2017.
Alas, I've concluded that five years is an underestimate. The languages have progressed, but not fast enough. That is, their advantages over mixed or dynamic languages are small enough that accepting their extra hassle and risk isn't a bet I'd care to make.
To be clear: these languages are solid, as languages. However, they require more dedication and work than more established languages, and I don't think they yet pay that back. It's not that they don't have benefits – it's that the cost is too high.
That leaves two possible uses for the book.
First, the language I'm most likely to be wrong about is Elm, a language for the browser front end. This book covers it in considerable depth.
"I just love the casual style this book is written in, that also happens to be a fantastic guide to Elm!" – Igal Tabachnik, tweet of 23 June 2017.
"I'm really enjoying your book. I've written a couple thousand lines of Elm prior to reading it and this book is filling in the idioms that I was missing. Thanks for writing it!" – Jason Stiebs, tweet of 16 January 2018
One way it may stand out from other Elm books is that I make a concerted effort to explain idioms and useful habits of thought. I try to go beyond "here's how you do this in Elm" to "here's how it fits into the FP programmer's way of approaching problems."
Second, some people find it useful to learn new ideas (like functional style) in the purest form. It makes the ideas stand out more clearly. It can innoculate you against falling back too easily into old habits when using a mixed language, or it can make the "why" behind features in the mixed language stand out more clearly.
If that's your learning style, the Elm section of this book can be for you, because the novelties it explains also appear in the mixed languages.
"Always wanted to learn FP but never found such a good start for an outsider. Awesome!" – Yuri Oliviera, tweet of 8 June 2017.
"I'm really liking your book. Thanks for all the work making it so straightforward to read." – Bill Tucker, tweet of 28 August 2017.
But Elm is a deliberately minimalist language. What about the features it removes from other pure FP languages like Haskell and PureScript? Those features have potential.
"Reading @marick's 'OutsideFp' book. Thoroughly engrossing and a great introduction to #FP using @elmlang. Can't wait for @purescript part." – Lee Owen, tweet of 10 September 2017
I think the features aren't as important as Elm's because they (mostly) don't appear in the mixed languages that you're more likely to use. However, the book does introduce PureScript and tries to explain ideas like type classes and effects differently than the conventional ways, which I generally found unnecessarily difficult to understand.
However, until I stop being "five years ahead of everything" and the pure languages become safer, the PureScript parts of the book are of intellectual, rather than practical, interest.
Table of Contents
-
-
Introduction
- Why bother with static functional languages?
- Why is this book called an “outsider’s” guide?
- What the book covers
- How the book covers it
- Prerequisites
- The exercises
- The back of the book
- About the cover
- Your problems and questions
- Change log
- Thanks for the help
-
Introduction
-
I Elm
-
1. Functions
- Applying functions
- Defining functions
- Partially-applied functions
- Idiom: Self goes last
- Flip: a function that only cares about functions
- Point-free style
- Function composition
-
let
- Two apparently pointless functions
- What now?
-
2. Some types
- The old problem with static typing
- Concrete types
- Function types
- Quantified types
- Elm cheats, a bit
- Functions that take functions as arguments
- What now?
-
3. Type annotations
- Terminology. Yay. Terminology
- Elm is still in charge
- Narrowing
- What now?
-
4. A digression: immutability
- Building lists
- Eu sou verde, e daí?
- “Purity” and other jargon
- Practical implications: the outside world
- What now?
-
5.
Maybe
and its idioms-
Making use of
Maybe
-
Maybe.map
and pipelines of iffy computations - At the end of the pipeline
-
Haven’t I seen
map
somewhere before? -
Lists of
Maybes
-
Multiple
Maybe
arguments - What now?
-
Making use of
-
6. A teaser: designing with types
- Taking “type-driven” all the way
- What now?
-
7. Sum types
- Sum types explicitly name cases
- The whole story on sum type declarations
- Importing modules containing sum types
- A bit more on pattern matching
- What now?
-
8. Sum type idioms
- Making invalid values impossible
- Grouping related data
- Heterogeneous data
-
Abstractions that destroy:
Int
andFloat
- Generalizing tagged types using phantom types
-
Type aliases:
Tagged Percent Float
is an OK password, but… - What now?
-
9. Working with the outside world
- The Elm Architecture (structure)
- The Elm Architecture (behavior)
- Producing HTML
- Random numbers
- Our first app: a peculiar counter
- Subscribing to events
- Responding to browser events
- What now?
-
10. Types and program structure
- Types tie the Elm Architecture together
- Type variables and libraries
- What now?
-
11. Records
- Making and manipulating records
- Record types
- Pattern matching
- Records are product types
- Nested records
- What now?
-
1. Functions
-
II The
ToInt
Saga-
12. Conventional testing
- Installation and directory layout
- Structure of a test
-
The
Result
type -
Expect
functions -
Characterizing
String.toInt
- Explaining my results
- What does the repl know, and when does it know it?
- What now?
-
13. Recursion and folding
- Tail recursion
- Folding
- The performance of lists
- Two types of recursion
- What now?
-
14. Surviving a messy problem: a real toInt
- Recursion and wrappers
- Lazy evaluation
- Visibility and testing
-
toInt
at last - What now?
-
12. Conventional testing
-
III The Saga of the Animation App
-
15. Architecture and animation
- A nested architecture
- Basic animation
- Time travel
-
Libraries that create
Cmd
values - What now?
-
16. Pragmatics of multiple modules
- Circular module dependencies
- Hiding implementation details
- What now?
-
17. A refactoring
- What now?
-
18. Animation extras
- Names
- A repeating animation
- Falling realistically
- Simultaneous animations (an exercise)
- Multi-step animations (an exercise)
- Sending messages during animations
- What now?
-
19. Text input, form state, and validation
- Storing state
- Fields can make invalid values impossible
- Tracking validation state
- What now?
- 20. This app’s structure
-
21. Design tidbits
- Tagged types in practice
- Defining and using operators
- Information hiding and partitioning
- Simplifying via deferred computation
- Ordering computation
- Too many tuples
- What now?
-
22. Continuation-passing style as a design inspiration
- Continuation-passing style
- Continuation-passing style for humans
- The solution, sketched
- Sequencing animations
- Looking ahead to PureScript and similar languages
- What now?
-
15. Architecture and animation
-
IV Lenses and Laws
-
23. Dictionaries and arrays
- Dictionaries
- Arrays
- About data structures
- What now?
-
24. Nested structures, law-based design, and a kind of polymorphism
- Planning a solution
- Lenses work with records and tuples
-
Using lenses and laws with
Dict
- Combining lenses
-
The
Upsert
lens - Phantom types, Elm records, and polymorphism
-
The
Humble
lens and its laws - Using lenses
- Working with sum types
- Terminology, again
- What now?
-
25. Monoids, laws, and the avoidance of creepiness
- Lens composition behaves sensibly
- Motivating monoids
-
Spot the
Monoid
-
Function composition is not quite a
Monoid
-
Can lenses be an instance of
Category
? - About creepiness
- What now?
-
26. Error handling, pipelines, and JSON
- The example app
- The three errors
- A version with no error handling
- A version with branchy error handling
- A version with flow-style error handling
- A new lens type
- Flowing state through a pipeline
- Reporting an error via HTTP
- Unstunting exercises
- What now?
-
27. JSON decoders, functors, and type constructors
-
Functor
and its laws -
What’s up with
Result
? (type constructors) - Are functions functors?
- Equality
- Are JSON decoders functors?
- Using functors
- Metaphors
- What now?
-
-
23. Dictionaries and arrays
-
V Design Topics
- 28. Combining records and sum types
- 29. More examples of making invalid values impossible
-
VI Purescript
-
30. Blundering into PureScript
- PureScript expects projects
- Starting the repl
- Trying out functions
- Printing types
- Numbers
- Lists and arrays
- Defining functions
- Anonymous functions
- Type signatures
- Type classes and type signatures
-
Oh pretty boy, can’t you
Show
me nothing but surrender? - Sum types
- Phantom types and type aliases
-
Implementing
Show
- Adding type annotations to values
- Modules and imports
- A module definition
-
import
variants (reference) - Import style
- Total and partial functions
- Pipelines
- Records
-
Result
isEither
- What now?
-
31. Finer-grained access to the outside world
- Two random numbers at once
- Adding functions to effects
- Composing effects
- What now?
-
30. Blundering into PureScript
- VII A Child’s Garden of Type Classes
- VIII Idris and Dependent Types
-
Appendices
- Glossary
-
A quick but incomplete Elm reference
- Declaring a module
- Importing modules
- Types with literal syntax
- Types
- Records
- Type annotations
- Pattern matching
- Other control structures
-
Differences between Elm and Purescript
- Your favorite types
- Type annotations
- Importing modules
- The repl
- Records
- Which type class do I want?
- How can I make my type less creepy?
-
The singular truth about functions
- Single-argument functions
- How point-free style works
-
Functions all the way down
- Thunks
- Boolean values as functions
- This way lies madness
- For fun: William James’s story of the squirrel
- Notes
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
80% Royalties. Earn $16 on a $20 book.
We pay 80% royalties. That's not a typo: you earn $16 on a $20 sale. If we sell 5000 non-refunded copies of your book or course for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned$12,046,757writing, publishing and selling on Leanpub.
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) and EPUB (for phones, tablets and 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
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.
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 most complete guide around introducing the reader to this exciting MCU portfolio from ST Microelectronics and its official CubeHAL and STM32CubeIDE development environment.
C++20 - The Complete Guide
Nicolai M. JosuttisAll new language and library features of C++20 (for those who know previous C++ versions).
The book presents all new language and library features of C++20. Learn how this impacts day-to-day programming, to benefit in practice, to combine new features, and to avoid all new traps.
Buy early, pay less, free updates.
Other books:
Jetpack Compose internals
Jorge CastilloJetpack Compose is the future of Android UI. Master how it works internally and become a more efficient developer with it. You'll also find it valuable if you are not an Android dev. This book provides all the details to understand how the Compose compiler & runtime work, and how to create a client library using them.
Talking with Tech Leads
Patrick KuaA book for Tech Leads, from Tech Leads. Discover how more than 35 Tech Leads find the delicate balance between the technical and non-technical worlds. Discover the challenges a Tech Lead faces and how to overcome them. You may be surprised by the lessons they have to share.Functional Event-Driven Architecture
Gabriel VolpeExplore 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!
Machine Learning Q and AI
Sebastian Raschka, PhDHave you recently completed a machine learning or deep learning course and wondered what to learn next? With 30 questions and answers on key concepts in machine learning and AI, this book provides bite-sized bits of knowledge for your journey to becoming a machine learning expert.
Getting to Know IntelliJ IDEA
Trisha Gee and Helen ScottIf we treat our IDE as a text editor, we are doing ourselves a disservice. Using a combination of tutorials and a questions-and-answers approach, Getting to Know IntelliJ IDEA will help you find ways to use IntelliJ IDEA that enable you to work comfortably and productively as a professional developer.
The Rails 7 Way
Obie Fernandez, Lucas Dohmen, and Tom Henrik AadlandThe Rails™ 7 Way is the comprehensive, authoritative reference guide for professionals delivering production-quality code using modern Ruby on Rails. It illuminates the entire Rails 7 API, its most powerful idioms, design approaches, and libraries. Building on the previous editions, this edition has been heavily refactored and updated.
Ansible for DevOps
Jeff GeerlingAnsible is a simple, but powerful, server and configuration management tool. Learn to use Ansible effectively, whether you manage one server—or thousands.
Top Bundles
- #1
Software Architecture
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... - #2
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... - #3
Modern C++ Collection
3 Books
Get All about Modern C++C++ Standard Library, including C++20Concurrency with Modern C++, including C++20C++20Each book has about 200 complete code examples. Updates are included. When I update one of the books, you immediately get the updated bundle. You can expect significant updates to each new C++ standard (C++23, C++26, .. ) and also... - #4
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... - #5
1500 QUIZ COMMENTATI (3 libri)
3 Books
Tre libri dei QUIZ MMG Commentati al prezzo di DUE! I QUIZ dei concorsi ufficiali di Medicina Generale relativi agli anni: 2000-2001-2003-2012-2013-2014-2015-2016-2017-2018-2019-2020-2021 +100 inediti Raccolti in unico bundle per aiutarvi nello studio e nella preparazione al concorso. All'interno di ogni libro i quiz sono stati suddivisi per... - #6
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!? - #8
Growing Agile: The Complete Coach's Guide
7 Books
Growing Agile: Coach's Guide Series This bundle provides a collection of training and workshop plans for a variety of agile topics. The series is aimed at agile coaches, trainers and ScrumMasters who often find themselves needing to help teams understand agile concepts. Each book in the series provides the plans, slides, handouts and activity... - #9
Development and Deployment of Multiplayer Online Games, Part ARCH. Architecture (Vol. I-III)
3 Books
What's the Big Idea? The idea behind this book is to summarize the body of knowledge that already exists on multiplayer games but is not available in one single place.And quite a fewof the issues discussed within this series (planned as three nine volumes ~300 pages each), while known in the industry, have not been published at all (except for...