Tagged with software design

In state modeling, perfection is achieved not when there is nothing more to add, but when there is nothing left to take away. "Making illegal states unrepresentable" is a very powerful approach to data modelling and software design in general.

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.