Functional core Imperative shell in Swift
We love value types because they provide us with safety and predictability, allowing us to reason about the code we write. But we still need objects to hold and mutate our app’s shared state. This week, we will discuss modeling our app’s logic by leveraging the value and reference semantics.
Compare designs, show rulers, add a grid, quick actions for recent builds. Create recordings with touches & audio, trim and export them into MP4 or GIF and share them anywhere using drag & drop. Add bezels to screenshots and videos. Try now
Value types are great, and one of the reasons for that is instance isolation. Whenever you pass a value type as a parameter or assign it to another variable, you get a new copy with the very same data. You always have a warranty that there are no side effects across the app while mutating the local copy of the value type.
struct Fasting {
var goal: Goal
private(set) var start: Date?
private(set) var end: Date?
init(goal: Goal) {
self.goal = goal
}
var progress: Double {
guard let start = start else {
return 0.0
}
return (end ?? .now).timeIntervalSince(start) / goal.duration
}
mutating func reset() {
start = nil
end = nil
}
mutating func begin() {
start = .now
}
mutating func finish() {
end = .now
}
struct Goal {
let duration: TimeInterval
static let trf16 = Goal(duration: 16 * 3600)
static let trf18 = Goal(duration: 18 * 3600)
static let trf20 = Goal(duration: 20 * 3600)
static let omad = Goal(duration: 23 * 3600)
}
}
Even mutating functions in your value types create a new copy and reassign it to the current variable. That’s why you can call mutating functions only on instances defined with the var keyword. It means you can easily replace one sample of value type with another, and it will work the same way. This feature of value types shines when you write unit tests. Pure functions like these are easy to test because you only need to verify the function’s output. There are no side effects.
Isolated value types work great for defining your app’s state and pure actions around that piece of data. But we still need to share mutable state between different app screens and make side effects like networking and I/O operations. Reference types are great for data sharing. Whenever you assign an instance of a class to a new variable, it shares the reference to the same object.
We can use objects to store and share the state represented by a value type. Objects are not pure and have identity. That’s why it is an excellent place for side effects. The idea is to encapsulate all the app logic using value types with pure functions and only use objects to store value types and provide side effects.
@MainActor final class TimerStore: ObservableObject {
struct Dependencies {
let save: (Fasting) async throws -> Void
let load: () async throws -> Fasting?
}
@Published var currentFasting = Fasting(goal: .trf16)
private let dependencies: Dependencies
init(dependencies: Dependencies) {
self.dependencies = dependencies
}
func load() async {
currentFasting = (try? await dependencies.load()) ?? currentFasting
}
func save() async {
try? await dependencies.save(currentFasting)
}
}
To learn more about using async closures as dependencies, take a look at my “Microapps architecture in Swift. Dependency Injection” post.
As you can see in the example above, we have an object holding the state represented by a value type and providing very few functions to make side effects possible. We encapsulated all the logic in the value type that we can easily verify in unit tests. And we can still quickly write integration tests for the object by mocking only side effects to check its behavior.
import SwiftUI
struct TimerView: View {
@ObservedObject var store: TimerStore
var body: some View {
VStack {
if let start = store.currentFasting.start {
Text(start, style: .timer)
Button("Finish") {
store.currentFasting.finish()
}
Button("Save") {
Task { await store.save() }
}
} else {
Button("Begin") {
store.currentFasting.begin()
}
}
}
.task { await store.load() }
}
}
The idea of functional core and imperative shell fits very well into the world of mobile development with Swift language, which provides so many language features allowing us to write expressible and safe code in a very few keystrokes.
In the next week, we will talk about this approach in the context of unidirectional flow. I hope you enjoy the post. Feel free to follow me on Twitter and ask your questions related to this post. Thanks for reading, and see you next week!