And yet, for all the pissing and moaning about HDLs from software guys, I can't express a state machine in any current mainstream computer language.

For example, the current big advance in "modern" languages is "async". Which "just" instantiates an implicit state machine that you can't control.