In Python, variables are mutable and being a class-based OO language, there’s often a lot of state that isn’t immediately clear when inspecting nearby code.

By working with immutable structs and pattern matching, you can get many (but not all) of the same guarantees you would from static types.