The idea of typestate programming and how it allows you to model all of the valid states and transitions between them is definitely useful in a lot of contexts.

The idea of typestate programming and how it allows you to model all of the valid states and transitions between them is definitely useful in a lot of contexts. if you’ve ever had to call some init() method on an object in an OO language before you could call something else, this pattern would throw a compile time error if you violate that.