PostgreSQL

FSMs as a core data primitive are going to get more popular. Combined with a runtime library for your preferred language, and you have a way to formally verify statements about business logic in your system.

FSMs as a core data primitive are going to get more popular. Combined with a runtime library for your preferred language, and you have a way to formally verify statements about business logic in your system. 

https://raphael.medaer.me/2019/06/12/pgfsm.html

Building @warpcast and @farcaster. Previously Coinbase, Brigade, Causes.

is there an example for it as a data primitive? curious what the representation looks like. these posts are good but I wouldn't call them primitives.

Platform Engineering at Replit. I like systems.

Fair point—abstraction is a better word. 

I’m not aware of any tool that treats it as a primitive, but when thought of conceptually as primitive it seems inevitable that we’ll see FSMs described in code which will create additional output that can automatically be verified by tools like TLA+.

yeah validation is really useful as application code tends to introduce bugs more easily and invariants aren't well captured in unit tests most of the time. also FSM is one of the first things emerge as you're building somewhat complex things so it's definitely worth investing in.