>> Returns a `String` instead of a type which disallows the formulation of the problematic `assertEquals` to begin with. > I'm not sure what the best attributi

>> Returns a `String` instead of a type which disallows the formulation of the problematic `assertEquals` to begin with. > I'm not sure what the best attribution would be but "Make illegal states unrepresentable" would be a fantastic addition to this list pairing well with "parse, don't validate". The phrases I have seen describing using types to make illegal states incapable of being represented are "programming with types"[0] and "type level programming"[1]. HTH 0 - https://www.manning.com/books/programming-with-types https://www.manning.com/books/programming-with-types 1 - https://rebeccaskinner.net/posts/2021-08-25-introduction-to-type-level-programming.html https://rebeccaskinner.net/posts/2021-08-25-introduction-to-...