A Swift adventure with Optionals, Monads, bananas and squirrels
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Playgrounds
.gitignore
README.md

README.md

Swift Adventures In Monad Land

Question: Is it vital to understand the concept of Monads to program in Swift?

Answer: No.


But it's an interesting topic nonetheless and if you tinker with Swift enough you'll find yourself doing monadic things, perhaps without realising.

The purpose of this repository is to explore concepts relating to the 'M' word in Swift. The ideas are developed from talks I gave at Swift London Meetup and Swift Summit and are presented as Xcode Playground files. The video of my Swift London talk (Swift and Nothingness) can be found here.

Playgrounds

NOTE: Xcode 8.0 or higher is recommended.

1a ) I See No Nil

The weird world of nil in Swift.

nil < 0
True

1b) Going Bananas

A cautionary tale about self-generating Swift bananas.

let banana:🍌 = nil
🍌

2a) Maybe Type

How to implement the Optional type.

enum Maybe<T> : NilLiteralConvertible {
    case None
    case Some(T)
}

2b) Maybe Type Monad

The monad is revealed.

func >>= <A,B> (m: Maybe<A>, f: A -> Maybe<B>) -> Maybe<B> {
    switch m {
    case .None : return .None
    case .Some(let m) : return f(m)
    }
}

3a) Optional Madness

When Optionals go Bad!

people.filter { person in person.pet?.age < 4 }
// non-existent pets are younger than 4?!

4a) Three Binds are Better than One

You're looking for one Optional bind, then three turn up at once. (With a side helping of JSON parsing).

>>=
?
if let
flatMap

5a) flatMap for Array

Monadic stocktaking for squirrels using curried functions.

countOfHazelNuts = squirrels.flatMap(nutsOfType(.Hazel)).count

5b) More flatMap for Squirrels

Squirrels, flatMap and the ‘beaky’ operator |>.

squirrelWithNearestCache = squirrels 
                        |> minBy { $0.caches.map(distance) |> minElement }

5c) Last of the Squirrels

TODO Squirrels, flatMap and function composition.

6a) Threatening Monad

Beginners guide to managing an oppressive surveillance state.

safeGroup >>= addPerson(Person(name: "Gideon", occupation: "MP", threat: .Elevated))

So, what is a ‘Monad’ anyway? (Don't expect a straight answer)

It's traditional to make an obscure analogy about what a monad is, but in a slight deviation from tradition, here's an analogy about why the question is difficult to answer. It's similar to asking, ‘What is a mammal?’. There are many instances of mammals in the world and there are also the ‘laws’ which define the attributes of a mammal. Here are some of the ‘laws’ according to wikipedia:

Mammals are a clade of endothermic amniotes distinguished from reptiles and birds by the possession of hair, three middle ear bones, mammary glands, and a neocortex (a region of the brain).

Furnished with just this information, it is unlikely you'd be able to point at an actual instance of a mammal and would probably resort to the follow-up question, ‘So, what's a mammal?’

The equivalent, abstract answer to, ‘What is a monad?’, might be:

A monad is a monoid in the category of endofunctors, what's the problem?

A Brief, Incomplete, and Mostly Wrong History of Programming Languages

An entertaining, yet enigmatic answer. In practice, it's not too complicated. At the heart of a monad there is the ‘bind’ operation, which is simply a higher order function. But, what's a higher order function?…


Rather than start from the abstract concept, an alternative approach is to sneak up on actual instances of mammals and monads in the wild and study how they behave. That's the approach which will be taken here.

In Swift, the monad you will first confront in the wilderness is the Optional type. That's why Swift Adventures in Monad Land will start with an investigation of nil, NilLiteralConvertible and Optionals. Despite the fact that there is no requirement to know that Optionals are monads to make use of them in Swift (just as it's not a requirement to know that a donkey is a mammal to get it to till your field), attaining knowledge of the true nature of your Optional or donkey can be both useful and rewarding.