Tagged with software design

In this article we'll talk about Software Design and the role types play in this process. You'll learn how to leverage Swift's expressive type system to create accurate and robust models tailored to solve problems in your domain.

A common challenge in software design is ensuring that access to a certain functionality is restricted under specific preconditions. In this article, I will show you how to design bulletproof type-safe access control using the Witness Pattern.

Validation is a very common task in software engineering. We need to validate stuff all the time: user inputs, data formats, array bounds, external configurations, etc. In this article I will show you how to perform validation in a type-safe way, eliminating a whole class of bugs.

In this article I will introduce you to Typestate pattern, popularised by Rust language, now available in Swift 5.9. You will see how the combination of generic constraints and Swift's new memory ownership model allows you to write bulletproof code.