Quick write up on business processes as types: https://deathbykeystroke.com/articles/20220517-business-processes-as-types-lets-explore.html

I really think state machines are one of the major missing abstractions in the industry… So far every attempt I’ve seen to make them generic has a pretty thin and/or tortured encoding

they'd certainly be easier to prove correct and it'd require a big shift in thinking for a business process to translate to state machines. docker solved half of the problem but it solved the wrong half

I wouldn’t call it “wrong”, just extremely Necessary But Not Sufficient. 😉

haha, "wrong" in a sense that it doesn't solve a problem it wasn't designed to solve - it does certainly have its place