Leanpub Header

Skip to main content

An Outsider's Guide to Statically Typed Functional Programming

This is a book I wrote as part of convincing myself that the purer statically typed functional languages were ready for early mainstream adoption. Instead, I convinced myself they aren't, not yet. As such, the book is orphaned but the first 400 pages may still be useful to you.

(Scroll for more.)

Free With Membership

The author is letting you choose the price you pay for this book!

Pick Your Price...
PDF
EPUB
WEB
1,356
Readers
504
Pages
About

About

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.

Share this book

Price

Pick Your Price...

With Membership

Free!

$22.00

You pay

$22.00

Author earns

$17.60
$

All prices are in US $. You can pay in US $ or in your local currency when you check out.

EU customers: prices exclude VAT, which is added during checkout.

...Or Buy With Credits!

Number of credits (Minimum 0)

0
The author will earn $0.00 from your purchase!
You can get credits monthly with a Reader Membership

Author

About the Author

Brian Marick

Brian Marick was first exposed to the functional style in 1983, when the accident of knowing a little bit of Lisp tossed him into the job of technical lead on a project to port Common Lisp to a now-defunct computer architecture. That led him to a reading spree about all things Lisp, the language from which the functional style arguably originated. He’s been a language geek ever since, despite making most of his living as a software process consultant. He’s the author of the popular Midje testing library for Clojure and has written books (Everyday Scripting with Ruby, Programming Cocoa with Ruby, and Functional Programming for the Object-Oriented Programmer). The two books in progress are An Outsider's Guide to Statically Typed Functional Programming and Lenses for the Mere Mortal.

Leanpub Podcast

Episode 70

An Interview with Brian Marick

Contents

Table of Contents

Introduction

  1. Why bother with static functional languages?
  2. Why is this book called an “outsider’s” guide?
  3. What the book covers
  4. How the book covers it
  5. Prerequisites
  6. The exercises
  7. The back of the book
  8. About the cover
  9. Your problems and questions
  10. Change log
  11. Thanks for the help
  12. IElm

1.Functions

  1. Applying functions
  2. Defining functions
  3. Partially-applied functions
  4. Idiom: Self goes last
  5. Flip: a function that only cares about functions
  6. Point-free style
  7. Function composition
  8. let
  9. Two apparently pointless functions
  10. What now?

2.Some types

  1. Nature? Untyped?
  2. The old problem with static typing
  3. Concrete types
  4. Function types
  5. Quantified types
  6. Names
  7. Elm cheats, a bit
  8. Functions that take functions as arguments
  9. What now?

3.Type annotations

  1. Terminology. Yay. Terminology
  2. Elm is still in charge
  3. Narrowing
  4. What now?

4.A digression: immutability

  1. Building lists
  2. Eu sou verde, e daí?16
  3. “Purity” and other jargon
  4. Practical implications: the outside world
  5. What now?

5.Maybe and its idioms

  1. About type variables and words
  2. Making use of Maybe
  3. Pattern matching practice
  4. Maybe.map and pipelines of iffy computations
  5. At the end of the pipeline
  6. Haven’t I seen map somewhere before?
  7. Lists of Maybes
  8. Multiple Maybe arguments
  9. What now?

6.A teaser: designing with types

  1. Taking “type-driven” all the way
  2. What now?

7.Sum types

  1. Sum types explicitly name cases
  2. The whole story on sum type declarations
  3. Importing modules containing sum types
  4. A bit more on pattern matching
  5. What now?

8.Sum type idioms

  1. Making invalid values impossible
  2. Grouping related data
  3. Heterogeneous data
  4. Abstractions that destroy: Int and Float
  5. Generalizing tagged types using phantom types
  6. Type aliases: Tagged Percent Float is an OK password, but…30
  7. What now?

9.Working with the outside world

  1. The Elm Architecture (structure)
  2. The Elm Architecture (behavior)
  3. Producing HTML
  4. Random numbers
  5. Our first app: a peculiar counter
  6. Subscribing to events
  7. Responding to browser events
  8. What now?

10.Types and program structure

  1. Types tie the Elm Architecture together
  2. Type variables and libraries
  3. What now?

11.Records

  1. Making and manipulating records
  2. Record types
  3. Pattern matching
  4. Records are product types
  5. Nested records
  6. What now?
  7. IIThe ToInt Saga

12.Conventional testing

  1. Installation and directory layout
  2. Structure of a test
  3. The Result type
  4. Expect functions
  5. Characterizing String.toInt
  6. Explaining my results
  7. What does the repl know, and when does it know it?
  8. What now?

13.Recursion and folding

  1. Tail recursion
  2. Folding
  3. The performance of lists
  4. Two types of recursion
  5. What now?

14.Surviving a messy problem: a real toInt

  1. Recursion and wrappers
  2. Lazy evaluation
  3. Visibility and testing
  4. toInt at last
  5. What pattern matching isn’t
  6. What now?
  7. IIIThe Saga of the Animation App

15.Architecture and animation

  1. A nested architecture
  2. Looking forward
  3. Basic animation
  4. Time travel
  5. Libraries that create Cmd values
  6. What now?

16.Pragmatics of multiple modules

  1. Circular module dependencies
  2. Hiding implementation details
  3. What now?

17.A refactoring

  1. What now?

18.Animation extras

  1. Names
  2. A repeating animation
  3. Falling realistically
  4. Simultaneous animations (an exercise)
  5. Multi-step animations (an exercise)
  6. Sending messages during animations
  7. What now?

19.Text input, form state, and validation

  1. Storing state
  2. Fields can make invalid values impossible
  3. Tracking validation state
  4. What now?

20.This app’s structure

21.Design tidbits

  1. Tagged types in practice
  2. Rules really were made to be broken
  3. Defining and using operators
  4. Information hiding and partitioning
  5. Simplifying via deferred computation
  6. A task variant you’ll see
  7. Ordering computation
  8. Too many tuples
  9. What now?

22.Continuation-passing style as a design inspiration

  1. Continuation-passing style
  2. Continuation-passing style for humans
  3. The solution, sketched
  4. Name-value bindings persist
  5. Sequencing animations
  6. Looking ahead to PureScript and similar languages
  7. Where is Elm’s do?
  8. What now?
  9. IVLenses and Laws

23.Dictionaries and arrays

  1. Dictionaries
  2. Arrays
  3. About data structures
  4. What now?

24.Nested structures, law-based design, and a kind of polymorphism

  1. Planning a solution
  2. Lenses work with records and tuples
  3. Using lenses and laws with Dict
  4. Combining lenses
  5. The Upsert lens
  6. Phantom types, Elm records, and polymorphism
  7. The Humble lens and its laws
  8. Using lenses
  9. Working with sum types
  10. Terminology, again
  11. What now?

25.Monoids, laws, and the avoidance of creepiness

  1. Lens composition behaves sensibly
  2. Motivating monoids
  3. Spot the Monoid
  4. Function composition is not quite a Monoid
  5. Can lenses be an instance of Category?
  6. About creepiness
  7. What now?

26.Error handling, pipelines, and JSON

  1. The example app
  2. The three errors
  3. A version with no error handling
  4. A version with branchy error handling
  5. A version with flow-style error handling
  6. A new lens type
  7. Flowing state through a pipeline
  8. Reporting an error via HTTP
  9. Unstunting exercises
  10. What now?

27.JSON decoders, functors, and type constructors

  1. Functor and its laws
  2. What’s up with Result? (type constructors)
  3. Are functions functors?
  4. Equality
  5. Are JSON decoders functors?
  6. Using functors
  7. Metaphors
  8. What now?
  9. VDesign Topics

28.Combining records and sum types

29.More examples of making invalid values impossible

  1. VIPurescript

30.Blundering into PureScript

  1. PureScript expects projects
  2. Starting the repl
  3. Trying out functions
  4. Printing types
  5. Numbers
  6. Lists and arrays
  7. Defining functions
  8. Anonymous functions
  9. Type signatures
  10. Type classes and type signatures
  11. Oh pretty boy, can’t you Show me nothing but surrender?90
  12. Sum types
  13. Phantom types and type aliases
  14. Implementing Show
  15. Adding type annotations to values
  16. Modules and imports
  17. A module definition
  18. import variants (reference)
  19. Import style
  20. Total and partial functions
  21. Pipelines
  22. Records
  23. Result is Either
  24. What now?

31.Finer-grained access to the outside world

  1. Two random numbers at once
  2. Adding functions to effects
  3. Composing effects
  4. What now?
  5. VIIA Child’s Garden of Type Classes
  6. VIIIIdris and Dependent Types
  7. Appendices

Glossary

A quick but incomplete Elm reference

  1. Declaring a module
  2. Importing modules
  3. Types with literal syntax
  4. Types
  5. Records
  6. Type annotations
  7. Pattern matching
  8. Other control structures

Differences between Elm and Purescript

  1. Your favorite types
  2. Type annotations
  3. Importing modules
  4. The repl
  5. Records

Which type class do I want?

How can I make my type less creepy?

The singular truth about functions

  1. Single-argument functions
  2. How point-free style works

Functions all the way down

  1. Thunks
  2. Boolean values as functions
  3. This way lies madness

For fun: William James’s story of the squirrel

Get the free sample chapters

Click the buttons to get the free sample in PDF or EPUB, or read the sample online here

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.

Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.

You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!

So, there's no reason not to click the Add to Cart button, is there?

See full terms...

Earn $8 on a $10 Purchase, and $16 on a $20 Purchase

We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.

(Yes, some authors have already earned much more than that on Leanpub.)

In fact, authors have earned over $14 million writing, 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

Write and Publish on Leanpub

You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!

Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.

Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.

Learn more about writing on Leanpub