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.

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+.

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.

Good improvement over original implementation. A third iteration I'd suggest is to use separate tables for events instead of enums. Changing enums requires DDL changes and it's impossible to remove values once added.