Observable Architecture: Structural Identity
Listen now
Description
πŸ”’ One of the core tenets of the Composable Architecture is that you should be able to model your application's state using simple value types, like structs and enums. However, the `@Observable` macro does not work with value types at all, and so in order to enhance the Composable Architecture with Observation we will need to contend with this issue and explore what it means for a struct to be observable.
More Episodes
πŸ”’ We've studied `Equatable` and `Hashable`, their laws, and saw how value types as simple bags of data easily conform via "structural" equality. What about reference types? Reference types are an amalgamation of data _and_ behavior, and that data can be mutated in place at any time, so how can...
Published 10/21/24
Published 10/21/24
πŸ”’ While the documentation for `Equatable` discusses the notions of "equivalence relation" _and_ "substitutability", there are conformances in the Standard Library that run afoul, but for pragmatic reasons. Let’s explore them and then dive deeper into a related protocol: `Hashable`.
Published 10/14/24