Erlang OTP’s gen_fsm and gen_statem are great for implementing state machines.

Mind you however, the immutable nature of variables really helps.