A video series exploring functional programming and Swift.

#72 • Monday Sep 9, 2019 • Subscriber-only

Modular State Management: Reducers

In exploring four forms of composition on reducer functions, we made the claim that it gave us the power to fully isolate app logic, making it simpler and easier to understand. This week we put our money where our mouth is and show just how modular these reducers are!


#71 • Monday Aug 26, 2019 • Subscriber-only

Composable State Management: Higher-Order Reducers

We will explore a form of reducer composition that will take our applications to the next level. Higher-order reducers will allow us to implement broad, cross-cutting functionality on top of our applications with very little work, and without littering our application code with unnecessary logic. And, we’ll finally answer “what’s the point?!”


#70 • Monday Aug 19, 2019 • Subscriber-only

Composable State Management: Action Pullbacks

Turns out, reducers that work on local actions can be pulled back to work on global actions. However, due to an imbalance in how Swift treats enums versus structs it takes a little work to implement. But never fear, a little help from our old friends “enum properties” will carry us a long way.


Subscribe to Point-Free

👋 Hey there! See anything you like? You may be interested in subscribing so that you get access to these episodes and all future ones.


#69 • Monday Aug 12, 2019 • Subscriber-only

Composable State Management: State Pullbacks

So far we have pulled a lot of our application’s logic into a reducer, but that reducer is starting to get big. Turns out that reducers emit many types of powerful compositions, and this week we explore two of them: combines and pullbacks.


#68 • Monday Aug 5, 2019 • Subscriber-only

Composable State Management: Reducers

Now that we understand some of the fundamental problems that we will encounter when building a complex application, let’s start solving some of them! We will begin by demonstrating a technique for describing the state and actions in your application, as well as a consistent way to apply mutations to your application’s state.


#67 • Monday Jul 29, 2019 • Free Episode

SwiftUI and State Management: Part 3

With our moderately complex SwiftUI application complete we can finally ask ourselves: “what’s the point!?” What does SwiftUI have to say about app architecture? What questions are left unanswered? What can we do about it?


#66 • Monday Jul 22, 2019 • Free Episode

SwiftUI and State Management: Part 2

This week we finish up our moderately complex SwiftUI application by adding more screens, more state, and even sprinkle in a side effect so that we can finally ask: “what’s the point!?”


#65 • Monday Jul 15, 2019 • Free Episode

SwiftUI and State Management: Part 1

Let’s begin exploring application architecture by understanding what are the common problems we encounter when trying to build large, complex applications. We will build an app in SwiftUI to see how Apple’s new framework approaches solving these problems.


#64 • Monday Jul 8, 2019 • Subscriber-only

Parser Combinators: Part 3

Now that we’ve looked at how to parse multiple values given a single parser, let’s try to parse a single value using multiple parsers! And after defining a bunch of these parser combinators we’ll finally be able to ask: “what’s the point!?”


#63 • Monday Jul 1, 2019 • Subscriber-only

Parser Combinators: Part 2

Let’s solve another common parsing problem using parser combinators! It’s common to want to parse multiple values off a string, and while zip gets us part of the way there, it doesn’t let us part any number of values! Luckily there’s a parser combinator that can help, and it really packs a punch.


#62 • Monday Jun 24, 2019 • Subscriber-only

Parser Combinators: Part 1

Even though map, flatMap and zip pack a punch, there are still many parsing operations that can’t be done using them alone. This is where “parser combinators” come into play. Let’s look at a few common parsing problems and solve them using parser combinators!


#61 • Monday Jun 10, 2019 • Subscriber-only

Composable Parsing: Zip

While flatMap allowed us to take our parser type to the next level, it introduced a nesting problem. Isn’t flatMap all about solving nesting problems!? Well, we have one more operation at our disposal: zip! Let’s define zip on the parser type, see what it brings to the table, and finally ask, “what’s the point?”


#60 • Monday Jun 3, 2019 • Subscriber-only

Composable Parsing: Flat-Map

The map function on parsers is powerful, but there are still a lot of things it cannot do. We will see that in trying to solve some of its limitations we are naturally led to our old friend the flatMap function.


#59 • Monday May 27, 2019 • Subscriber-only

Composable Parsing: Map

We now have a precise, efficient definition for parsing, but we haven’t even scratched the surface of its relation to functional programming. In this episode we begin to show how all of the functional operators we know and love come into play, starting with map.


#58 • Monday May 20, 2019 • Subscriber-only

What Is a Parser?: Part 3

It’s time to ask the all important question: what’s the point? We now have a properly defined parser type, one that can parse efficiently and incrementally, but does it give us anything new over existing tools?


#57 • Monday May 13, 2019 • Subscriber-only

What Is a Parser?: Part 2

Now that we’ve looked at a bunch of parsers that are at our disposal, let’s ask ourselves what a parser really is from the perspective of functional programming and functions. We’ll take a multi-step journey and optimize using Swift language features.


#56 • Monday May 6, 2019 • Subscriber-only

What Is a Parser?: Part 1

Parsing is a difficult, but surprisingly ubiquitous programming problem, and functional programming has a lot to say about it. Let’s take a moment to understand the problem space of parsing, and see what tools Swift and Apple gives us to parse complex text formats.


#55 • Monday Apr 22, 2019 • Free Episode

Swift Syntax Command Line Tool

Today we finally extract our enum property code generator to a Swift Package Manager library and CLI tool. We’ll also do some next-level snapshot testing: not only will we snapshot-test our generated code, but we’ll leverage the Swift compiler to verify that our snapshot builds.


#54 • Monday Apr 15, 2019 • Subscriber-only

Advanced Swift Syntax Enum Properties

This week we’ll put the finishing touches on our enum property code generation tool. We’ll add support for enum cases with multiple associated values and enum cases with no associated values, and we’ll add a feature that will make enums even more ergonomic to work with!


#53 • Monday Apr 8, 2019 • Subscriber-only

Swift Syntax Enum Properties

We’ve seen how “enum properties” help close the gap between the ergonomics of accessing data on structs and enums, but defining them by hand requires a lot of boilerplate. This week we join forces with Apple’s Swift Syntax library to generate this boilerplate automatically!


#52 • Monday Apr 1, 2019 • Subscriber-only

Enum Properties

Swift makes it easy for us to access the data inside a struct via dot-syntax and key-paths, but enums are provided no such affordances. This week we correct that deficiency by defining the concept of “enum properties”, which will give us an expressive way to dive deep into the data inside our enums.


#51 • Monday Mar 25, 2019 • Subscriber-only

Structs 🤝 Enums

Name a more iconic duo… We’ll wait. Structs and enums go together like peanut butter and jelly, or multiplication and addition. One’s no more important than the other: they’re completely complementary. This week we’ll explore how features on one may surprisingly manifest themselves on the other.


#50 • Monday Mar 11, 2019 • Free Episode

Generative Art: Part 2

Let’s put some finishing touches to our random artwork generator, incorporate it into an app, and write some snapshot tests to help support us in adding a fun easter egg.


#49 • Monday Mar 4, 2019 • Free Episode

Generative Art: Part 1

Now that we have made randomness both composable and testable, let’s have a little fun with it! We are going to explore making some complex generative art that is built from simple, composable units.


#48 • Monday Feb 25, 2019 • Subscriber-only

Predictable Randomness: Part 2

This week we finally make our untestable Gen type testable. We’ll compare several different ways of controlling Gen, consider how they affect Gen’s API, and find ourselves face-to-face with yet another flatMap.


#47 • Monday Feb 18, 2019 • Subscriber-only

Predictable Randomness: Part 1

Let’s set out to make the untestable testable. This week we make composable randomness compatible with Swift’s new APIs and explore various ways of controlling those APIs, both locally and globally.


#46 • Monday Feb 4, 2019 • Subscriber-only

The Many Faces of Flat-Map: Part 5

Finishing our 3-part answer to the all-important question “what’s the point?”, we finally show that standing on the foundation of our understanding of map, zip and flatMap we can now ask and concisely answer very complex questions about the nature of these operations.


#45 • Monday Jan 28, 2019 • Subscriber-only

The Many Faces of Flat-Map: Part 4

Continuing our 3-part answer to the all-important question “what’s the point?”, we show that the definitions of map, zip and flatMap are precise and concisely describe their purpose. Knowing this we can strengthen our APIs by not smudging their definitions when convenient.


#44 • Monday Jan 21, 2019 • Subscriber-only

The Many Faces of Flat-Map: Part 3

We are now ready to answer the all-important question: what’s the point? We will describe 3 important ideas that are now more accessible due to our deep study of map, zip and flatMap. We will start by showing that this trio of operations forms a kind of functional, domain-specific language for data transformations.


#43 • Wednesday Jan 16, 2019 • Subscriber-only

The Many Faces of Flat-Map: Part 2

Now that we know that flatMap is important for flattening nested arrays and optionals, we should feel empowered to define it on our own types. This leads us to understanding its structure more in depth and how it’s different from map and zip.


#42 • Monday Jan 7, 2019 • Subscriber-only

The Many Faces of Flat-Map: Part 1

Previously we’ve discussed the map and zip operations in detail, and today we start completing the trilogy by exploring flatMap. This operation is precisely the tool needed to solve a nesting problem that map and zip alone cannot.


#41 • Tuesday Dec 18, 2018 • Free Episode

A Tour of Snapshot Testing

Our snapshot testing library is now officially open source! In order to show just how easy it is to integrate the library into any existing code base, we add some snapshot tests to a popular open source library for attributed strings. This gives us the chance to see how easy it is to write all new, domain-specific snapshot strategies from scratch.


#40 • Monday Dec 17, 2018 • Subscriber-only

Async Functional Refactoring

The snapshot testing library we have been designing over the past few weeks has a serious problem: it can’t snapshot asynchronous values, like web views and anything that uses delegates or callbacks. Today we embark on a no-regret refactor to fix this problem with the help of a well-studied and well-understood functional type that we have discussed numerous times before.


#39 • Monday Nov 26, 2018 • Subscriber-only

Witness-Oriented Library Design

We previously refactored a library using protocols to make it more flexible and extensible but found that it wasn’t quite as flexible or extensible as we wanted it to be. This week we re-refactor our protocols away to concrete datatypes using our learnings from earlier in the series.


#38 • Monday Nov 19, 2018 • Subscriber-only

Protocol-Oriented Library Design: Part 2

With our library fully generalized using protocols, we show off the flexibility of our abstraction by adding new conformances and functionality. In fleshing out our library we find out why protocols may not be the right tool for the job.


#37 • Monday Nov 12, 2018 • Subscriber-only

Protocol-Oriented Library Design: Part 1

Perhaps the most popular approach to code reuse and extensibility in Swift is to liberally adopt protocol-oriented programming, and many Swift libraries are designed with protocol-heavy APIs. In today’s episode we refactor a sample library to use protocols and examine the pros and cons of this approach.


#36 • Monday Nov 5, 2018 • Subscriber-only

Advanced Protocol Witnesses: Part 2

We complete our dictionary for translating Swift protocol concepts into concrete datatypes and functions. This includes protocol inheritance, protocol extensions, default implementations and protocols with associated types. Along the way we will also show how concrete types can express things that are currently impossible with Swift protocols.


#35 • Monday Oct 29, 2018 • Subscriber-only

Advanced Protocol Witnesses: Part 1

Now that we know it’s possible to replace protocols with concrete datatypes, and now that we’ve seen how that opens up new ways to compose things that were previously hidden from us, let’s go a little deeper. We will show how to improve the ergonomics of writing Swift in this way, and show what Swift’s powerful conditional conformance feature is represented by just plain functions.


#34 • Monday Oct 22, 2018 • Subscriber-only

Protocol Witnesses: Part 2

Last time we covered some basics with protocols, and demonstrated one of their biggest pitfalls: types can only conform to a protocol a single time. Sometimes it’s valid and correct for a type to conform to a protocol in many ways. We show how to remedy this by demonstrating that one can scrap any protocol in favor of a simple datatype, and in doing so opens up a whole world of composability.


#33 • Monday Oct 15, 2018 • Subscriber-only

Protocol Witnesses: Part 1

Protocols are a great tool for abstraction, but aren’t the only one. This week we begin to explore the tradeoffs of using protocols by highlighting a few areas in which they fall short in order to demonstrate how we can recover from these problems using a different tool and different tradeoffs.


#32 • Monday Oct 1, 2018 • Subscriber-only

Decodable Randomness: Part 2

This week we compare our Decodable solution to building random structures with a composable solution involving the Gen type, exploring the differences and trade-offs of each approach. Along the way we’ll rediscover a familiar old friend with a brand new application.


#31 • Monday Sep 24, 2018 • Subscriber-only

Decodable Randomness: Part 1

This week we dive deeper into randomness and composition by looking to a seemingly random place: the Decodable protocol. While we’re used to using the Codable set of protocols when working with JSON serialization and deserialization, it opens the opportunity for so much more.


#30 • Monday Sep 17, 2018 • Subscriber-only

Composable Randomness

Randomness is a topic that may not seem so functional, but it gives us a wonderful opportunity to explore composition. After a survey of what randomness looks like in Swift today, we’ll build a complex set of random APIs from just a single unit.


#29 • Monday Sep 10, 2018 • Free Episode

DSLs vs. Templating Languages

Templating languages are the most common way to render HTML in web frameworks, but we don’t think they are the best way. We compare templating languages to the DSL we previously built, and show that the DSL fixes many problems that templates have, while also revealing amazing compositions that were previously hidden.


#28 • Monday Sep 3, 2018 • Subscriber-only

An HTML DSL

This week we apply domain specific languages to a very real-world problem: representing and rendering HTML. We code up a simple but powerful solution that forms the foundation of what we use to build the Point-Free website.


#27 • Monday Aug 27, 2018 • Subscriber-only

Domain Specific Languages: Part 2

We finish our introduction to DSLs by adding two new features to our toy example: support for multiple variables and support for let-bindings so that we can share subexpressions within a larger expression. With these fundamentals out of the way, we will be ready to tackle a real-world DSL soon!


#26 • Monday Aug 20, 2018 • Subscriber-only

Domain Specific Languages: Part 1

We interact with domain specific languages on a daily basis, but what does it take to build your own? After introducing the topic, we will begin building a toy example directly in Swift, which will set the foundation for a future DSL with far-reaching applications.


#25 • Monday Aug 6, 2018 • Free Episode

The Many Faces of Zip: Part 3

The third, and final, part of our introductory series to zip finally answers the question: “What’s the point?”


#24 • Monday Jul 30, 2018 • Subscriber-only

The Many Faces of Zip: Part 2

In part two of our series on zip we will show that many types support a zip-like operation, and some even support multiple distinct implementations. However, not all zips are created equal, and understanding this can lead to some illuminating properties of our types.


#23 • Monday Jul 23, 2018 • Subscriber-only

The Many Faces of Zip: Part 1

The zip function comes with the Swift standard library, but its utility goes far beyond what we can see there. Turns out, zip generalizes a function that we are all familiar with, and it can unify many seemingly disparate concepts. Today we begin a multipart journey into exploring the power behind zip.


#22 • Monday Jul 16, 2018 • Free Episode

A Tour of Point-Free

Join us for a tour of the code base that powers this very site and see what functional programming can look like in a production code base! We’ll walk through cloning the repo and getting the site running on your local machine before showing off some of the fun functional programming we do on a daily basis.


#21 • Monday Jul 9, 2018 • Subscriber-only

Playground Driven Development

We use Swift playgrounds on this series as a tool to dive deep into functional programming concepts, but they can be so much more. Today we demonstrate a few tricks to allow you to use playgrounds for everyday development, allowing for a faster iteration cycle.


#20 • Monday Jun 25, 2018 • Subscriber-only

NonEmpty

We often deal with collections that we know can never be empty, yet we use arrays to model them. Using the ideas from our last episode on algebraic data types, we develop a NonEmpty type that can be used to transform any collection into a non-empty version of itself.


#19 • Monday Jun 11, 2018 • Subscriber-only

Algebraic Data Types: Generics and Recursion

Our third installment of algebraic data types explores how generics and recursive data types manifest themselves in algebra. This exploration allows us to construct a useful, precise type that can be useful in everyday programming.


#18 • Monday Jun 4, 2018 • Subscriber-only

Dependency Injection Made Comfortable

Let’s have some fun with the “environment” form of dependency injection we previously explored. We’re going to extract out a few more dependencies, strengthen our mocks, and use our Overture library to make manipulating the environment friendlier.


#17 • Monday May 28, 2018 • Subscriber-only

Styling with Overture

We revisit an old topic: styling UIKit components. Using some of the machinery we have built from previous episodes, in particular setters and function composition, we refactor a screen’s styles to be more modular and composable.


#16 • Monday May 21, 2018 • Subscriber-only

Dependency Injection Made Easy

Today we’re going to control the world! Well, dependencies to the outside world, at least. We’ll define the “dependency injection” problem and show a lightweight solution that can be implemented in your code base with little work and no third party library.


#15 • Monday May 14, 2018 • Subscriber-only

Setters: Ergonomics & Performance

Functional setters can be very powerful, but the way we have defined them so far is not super ergonomic or performant. We will provide a friendlier API to use setters and take advantage of Swift’s value mutation semantics to make setters a viable tool to bring into your code base today.


#14 • Monday Apr 30, 2018 • Subscriber-only

Contravariance

Let’s explore a type of composition that defies our intuitions. It appears to go in the opposite direction than we are used to. We’ll show that this composition is completely natural, hiding right in plain sight, and in fact related to the Liskov Substitution Principle.


#13 • Monday Apr 23, 2018 • Subscriber-only

The Many Faces of Map

Why does the map function appear in every programming language supporting “functional” concepts? And why does Swift have two map functions? We will answer these questions and show that map has many universal properties, and is in some sense unique.


#12 • Monday Apr 16, 2018 • Subscriber-only

Tagged

We typically model our data with very general types, like strings and ints, but the values themselves are often far more specific, like emails and ids. We’ll explore how this can lead to subtle runtime bugs and how we can strengthen these types in an ergonomic way using several features new to Swift 4.1.


#11 • Monday Apr 9, 2018 • Subscriber-only

Composition without Operators

While we unabashedly promote custom operators in this series, we understand that not every codebase can adopt them. Composition is too important to miss out on due to operators, so we want to explore some alternatives to unlock these benefits.


#10 • Tuesday Mar 27, 2018 • Free Episode

A Tale of Two Flat-Maps

Swift 4.1 deprecated and renamed a particular overload of flatMap. What made this flatMap different from the others? We’ll explore this and how understanding that difference helps us explore generalizations of the operation to other structures and derive new, useful code!


#9 • Monday Mar 26, 2018 • Subscriber-only

Algebraic Data Types: Exponents

We continue our explorations into algebra and the Swift type system. We show that exponents correspond to functions in Swift, and that by using the properties of exponents we can better understand what makes some functions more complex than others.


#8 • Monday Mar 19, 2018 • Subscriber-only

Getters and Key Paths

Key paths aren’t just for setting. They also assist in getting values inside nested structures in a composable way. This can be powerful, allowing us to make the Swift standard library more expressive with no boilerplate.


#7 • Monday Mar 12, 2018 • Subscriber-only

Setters and Key Paths

This week we explore how functional setters can be used with the types we build and use everyday. It turns out that Swift generates a whole set of functional setters for you to use, but it can be hard to see just how powerful they are without a little help.


#6 • Monday Mar 5, 2018 • Subscriber-only

Functional Setters

The programs we write can be reduced to transforming data from one form into another. We’re used to transforming this data imperatively, with setters. There’s a strange world of composition hiding here in plain sight, and it has a surprising link to a familiar functional friend.


#5 • Monday Feb 26, 2018 • Subscriber-only

Higher-Order Functions

Most of the time we interact with code we did not write, and it doesn’t always play nicely with the types of compositions we have developed in previous episodes. We explore how higher-order functions can help unlock even more composability in our everyday code.


#4 • Monday Feb 19, 2018 • Free Episode

Algebraic Data Types

What does the Swift type system have to do with algebra? A lot! We’ll begin to explore this correspondence and see how it can help us create type-safe data structures that can catch runtime errors at compile time.


#3 • Monday Feb 12, 2018 • Free Episode

UIKit Styling with Functions

We bring tools from previous episodes down to earth and apply them to an everyday task: UIKit styling. Plain functions unlock worlds of composability and reusability in styling of UI components. Have we finally solved the styling problem?


#2 • Monday Feb 5, 2018 • Free Episode

Side Effects

Side effects: can’t live with ’em; can’t write a program without ’em. Let’s explore a few kinds of side effects we encounter every day, why they make code difficult to reason about and test, and how we can control them without losing composition.


#1 • Monday Jan 29, 2018 • Free Episode

Functions

Our first episode is all about functions! We talk a bit about what makes functions special, contrasting them with the way we usually write code, and have some exploratory discussions about operators and composition.


#0 • Monday Jan 29, 2018 • Free Episode

We launched!

Point-Free is here, bringing you videos covering functional programming concepts using the Swift language. Take a moment to hear from the hosts about what to expect from this new series.