Glad to hear that so many people already did this (only better), years ago. Nice to have company. The only thing new or interesting about States is it has a pr

Glad to hear that so many people already did this (only better), years ago. Nice to have company. The only thing new or interesting about States is it has a product behind it that implements it at scale, available now; give it a try. I think it's quite likely that this syntax is state-machine assembler, and smart people will find nicer expressions of this and compile them down. In particular, some people prefer dependency graphs to explicit state machines for this sort of thing.