On: Functional State Machines in Rust: Typestate and Newtype Patterns

[harpiaharpyja]

Thanks, that was insightful.

Personally, I think the main legitimate use of the ticket pattern is when dealing with hardware. In which case your global hidden state is actually the physical world and can't be eliminated.

Otherwise, I think you have a good point.