A video series exploring functional programming and Swift.

#111 • Monday Aug 3, 2020 • Subscriber-only

Designing Dependencies: Modularization

Let’s the scrap the protocols for designing our dependencies and just use plain data types. Not only will we gain lots of new benefits that were previously impossible with protocols, but we’ll also be able to modularize our application to improve compile times.


#110 • Monday Jul 27, 2020 • Subscriber-only

Designing Dependencies: The Problem

Let’s take a moment to properly define what a dependency is and understand why they add so much complexity to our code. We will begin building a moderately complex application with three dependencies, and see how it complicates development, and what we can do about it.


#109 • Monday Jul 20, 2020 • Subscriber-only

Composable SwiftUI Bindings: The Point

It’s time to ask: “what’s the point?” If composing bindings is so important, then why didn’t Apple give us more tools to do it? To understand this we will explore how Apple handles these kinds of problems in their code samples, and compare it to what we have discovered in previous episodes.


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.


#108 • Monday Jul 13, 2020 • Subscriber-only

Composable SwiftUI Bindings: Case Paths

Now that we know that SwiftUI state management seems biased towards structs, let’s fix it. We’ll show how to write custom transformations on bindings so that we can use enums to model our domains precisely without muddying our views, and it turns out that case paths are the perfect tool for this job.


#107 • Monday Jul 6, 2020 • Subscriber-only

Composable SwiftUI Bindings: The Problem

Bindings are one of the core units of SwiftUI data flow and allow disparate parts of an application to communicate with one another, but they are built in such a way that strongly favors structs over enums. We will show that this prevents us from properly modeling our domains and causes unnecessary complexity in the process.


#106 • Monday Jun 15, 2020 • Subscriber-only

Combine Schedulers: Erasing Time

We refactor our application’s code so that we can run it in production with a live dispatch queue for the scheduler, while allowing us to run it in tests with a test scheduler. If we do this naively we will find that generics infect many parts of our code, but luckily we can employ the technique of type erasure to make things much nicer.


#105 • Monday Jun 8, 2020 • Subscriber-only

Combine Schedulers: Controlling Time

The Scheduler protocol of Combine is a powerful abstraction that unifies many ways of executing asynchronous work, and it can even control the flow of time through our code. Unfortunately Combine doesn’t give us this ability out of the box, so let’s build it from scratch.


#104 • Thursday Jun 4, 2020 • Subscriber-only

Combine Schedulers: Testing Time

Combine is a powerful framework and is the de facto way to power SwiftUI applications, but how does one test reactive code? We will build a view model from scratch that involves asynchrony and time-based effects and explore what it takes to exhaustively test its functionality.


#103 • Monday May 25, 2020 • Free Episode

A Tour of the Composable Architecture: Part 4

We conclude our tour of the Composable Architecture by demonstrating how to test a complex effect. This gives us a chance to show off how the library can control time-based effects by using Combine schedulers.


#102 • Monday May 18, 2020 • Free Episode

A Tour of the Composable Architecture: Part 3

It’s time to start proving that our business logic works the way we expect. We are going to show how easy it is to write tests with the Composable Architecture, which will give us the confidence to add more functionality and explore some advanced effect capabilities of the library.


#101 • Monday May 11, 2020 • Free Episode

A Tour of the Composable Architecture: Part 2

Continuing the tour of our recently open-sourced library, the Composable Architecture, we start to employ some of the more advanced tools that come with the library. Right now our business logic and view is riddled with needless array index juggling, and a special higher-order reducer can clean it all up for us.


#100 • Monday May 4, 2020 • Free Episode

A Tour of the Composable Architecture: Part 1

It’s our 100th episode 🎉! To celebrate, we are finally releasing the Composable Architecture as an open source library, which means you can start using it in your applications today! Let’s take a tour of the library, see how it’s changed from what we built in earlier episodes, and build a brand new app with it.


#99 • Monday Apr 20, 2020 • Subscriber-only

Ergonomic State Management: Part 2

We’ve made creating and enhancing reducers more ergonomic, but we still haven’t given much attention to the ergonomics of the view layer of the Composable Architecture. This week we’ll make the Store much nicer to use by taking advantage of a new Swift feature and by enhancing it with a SwiftUI helper.


#98 • Monday Apr 13, 2020 • Subscriber-only

Ergonomic State Management: Part 1

The Composable Architecture is robust and solves all of the problems we set out to solve (and more), but we haven’t given enough attention to ergonomics. We will enhance one of its core units to be a little friendlier to use and extend, which will bring us one step closing to being ready for production.


#97 • Monday Apr 6, 2020 • Subscriber-only

Adaptive State Management: The Point

We’ve now shown that the Composable Architecture is also quite adaptive, allowing us to transform state and actions into very domain specific situations. Let’s exercise those muscles by creating a macOS app from our iOS app and demonstrating that it’s the perfect tool for creating cross-platform applications.


#96 • Monday Mar 30, 2020 • Subscriber-only

Adaptive State Management: Actions

When we fixed a performance problem in the Composable Architecture it gave us an opportunity to adapt the state of our application to many situations. We’ll take these learnings to see how our application’s actions may adapt as well.


#95 • Monday Mar 23, 2020 • Subscriber-only

Adaptive State Management: State

There’s a potential performance problem lurking in the Composable Architecture, and it’s time to finally solve it. But, in doing so, we will stumble upon a wonderful way to make the architecture adaptive to many more situations.


#94 • Monday Mar 16, 2020 • Subscriber-only

Adaptive State Management: Performance

It’s time to put the finishing touches to our architecture so that we can use it in production. This week we begin exploring how to make the Composable Architecture adapt to many use cases, and we will use a potential performance problem as inspiration for this exploration.


#93 • Monday Mar 2, 2020 • Subscriber-only

Modular Dependency Injection: The Point

It’s time to prove that baking an “environment” of dependencies directly into the Composable Architecture solves three crucial problems that the global environment pattern could not.


#92 • Monday Feb 24, 2020 • Subscriber-only

Dependency Injection Made Modular

Now that we’ve baked the “environment” of dependencies directly into the Composable Architecture, we’re ready to refactor our app’s frameworks and tests to work with them in a modular and more lightweight way.


#91 • Monday Feb 17, 2020 • Subscriber-only

Dependency Injection Made Composable

While we love the “environment” approach to dependency injection, which we introduced many episodes ago, it doesn’t feel quite right in the Composable Architecture and introduces a few problems in how we manage dependencies. Today we’ll make a small tweak to the architecture in order to solve them!


#90 • Monday Feb 10, 2020 • Subscriber-only

Composing Architecture with Case Paths

Let’s explore a real world application of “case paths,” which provide key path-like functionality to enum cases. We’ll upgrade our composable architecture to use them and see why they’re a better fit than our existing approach.


#89 • Monday Feb 3, 2020 • Subscriber-only

Case Paths for Free

Although case paths are powerful and a natural extension of key paths, they are difficult to work with right now. They require either hand-written boilerplate, or code generation. However, there’s another way to generate case paths for free, and it will make them just as ergonomic to use as key paths.


#88 • Monday Jan 27, 2020 • Subscriber-only

The Case for Case Paths: Properties

We’ve now seen that it’s possible to define “case paths”: the enum equivalent of key paths. So what are their features? Let’s explore a few properties of key paths to see if there are corresponding concepts on case paths.


#87 • Monday Jan 20, 2020 • Subscriber-only

The Case for Case Paths: Introduction

You’ve heard of key paths, but…case paths!? Today we introduce the concept of “case paths,” a tool that helps you generically pick apart an enum just like key paths allow you to do for structs. It’s the tool you never knew you needed.


#86 • Monday Dec 23, 2019 • Free Episode

SwiftUI Snapshot Testing

In this week’s free holiday episode we show what it looks like to snapshot test a SwiftUI application in our architecture and compare this style of integration testing against XCTest’s UI testing tools.


#85 • Monday Dec 16, 2019 • Free Episode

Testable State Management: The Point

We’ve made testing in our architecture a joy! We can test deep aspects of our application with minimal ceremony, but it took us a whole 18 episodes to get here! So this week we ask: what’s the point!? Can we write these kinds of tests in vanilla SwiftUI?


#84 • Monday Dec 9, 2019 • Subscriber-only

Testable State Management: Ergonomics

We not only want our architecture to be testable, but we want it to be super easy to write tests, and perhaps even a joy to write tests! Right now there is a bit of ceremony involved in writing tests, so we will show how to hide away those details behind a nice, ergonomic API.


#83 • Monday Dec 2, 2019 • Subscriber-only

Testable State Management: Effects

Side effects are by far the hardest thing to test in an application. They speak to the outside world and they tend to be sprinkled around to get the job done. However, we can get broad test coverage of our reducer’s effects with very little work, and it will all be thanks to a simple technique we covered in the past.


#82 • Monday Nov 25, 2019 • Subscriber-only

Testable State Management: Reducers

It’s time to see how our architecture handles the fifth and final problem we identified as being important to solve when building a moderately complex application: testing! Let’s get our feet wet and write some tests for all of the reducers powering our application.


#81 • Monday Nov 18, 2019 • Free Episode

The Combine Framework and Effects: Part 2

Now that we’ve explored the Combine framework and identified its correspondence with the Effect type, let’s refactor our architecture to take full advantage of it.


#80 • Monday Nov 11, 2019 • Free Episode

The Combine Framework and Effects: Part 1

Let’s explore the Combine framework and its correspondence with the Effect type. Combine introduces several concepts that overlap with how we model effects in our composable architecture. Let’s get an understanding of how they work together and compare them to our humble Effect type.


#79 • Monday Nov 4, 2019 • Subscriber-only

Effectful State Management: The Point

We’ve got the basic story of side effects in our architecture, but the story is far from over. Turns out that even side effects themselves are composable. Base effect functionality can be extracted and shared, and complex effects can be broken down into simpler pieces.


#78 • Monday Oct 28, 2019 • Subscriber-only

Effectful State Management: Asynchronous Effects

It’s time to finish our architecture’s story for side effects. We’ve described synchronous effects and unidirectional effects, but we still haven’t captured the complexity of async effects. Let’s fix that with a final, functional refactor.


#77 • Monday Oct 21, 2019 • Subscriber-only

Effectful State Management: Unidirectional Effects

We’ve modeled side effects in our architecture, but it’s not quite right yet: a reducer can write to the outside world, but it can’t read data back in! This week our architecture’s dedication to unidirectional data flow will lead us there.


#76 • Monday Oct 14, 2019 • Subscriber-only

Effectful State Management: Synchronous Effects

Side effects are one of the biggest sources of complexity in any application. It’s time to figure out how to model effects in our architecture. We begin by adding a few new side effects, and then showing how synchronous effects can be handled by altering the signature of our reducers.


#75 • Monday Oct 7, 2019 • Subscriber-only

Modular State Management: The Point

We’ve now fully modularized our app by extracting its reducers and views into their own modules. Each screen of our app can be run as a little app on its own so that we can test its functionality, all without needing to know how it’s plugged into the app as a whole. And this is the point of modular state management!


#74 • Monday Sep 30, 2019 • Subscriber-only

Modular State Management: View Actions

It’s time to fully modularize our app! Our views can still send any app action, so let’s explore transforming stores to focus in on just the local actions a view cares about.


#73 • Monday Sep 23, 2019 • Subscriber-only

Modular State Management: View State

While we’ve seen that each reducer we’ve written is super modular, and we were easily able to extract each one into a separate framework, our views are still far from modular. This week we address this by considering: what does it mean to transform the state a view has access to?


#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.


#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 parse 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.