> code-generative tools out there that help make state machines very explicit: you describe the state machine, and the system generates the code.

J's sequential machine builtin[0] implements something similar to this. It doesn't generate code, but it executes a state machine based purely on descriptions of states and transitions.

0. https://www.jsoftware.com/help/dictionary/d332.htm