typed-fsm

typed finite-state machine

Advantages of type-fsm

1. Focus on the right message

2. Top-to-bottom design for easy refactoring

3. Conducive to building complex state machine systems

• Type guarantees will not produce incorrect function calls when written
• With the help of the type system, we can define many state processing functions and then call each other recursively with confidence.

4. There is a sanity check. If you miss some items for pattern matching, the compiler will issue a warning, and there will also be a warning for invalid items.

Advantages of type-fsm