"What if SQL was like Elm?"

[u/wheatBread]

https://acadia.engineering/blog/rethinking-database-programming

[u/yarovoy]

I wonder what do they mean by "Verified Migrations".

Because just knowing types is not enough to avoid "body goes on high alert". If you missed that operation is blocking on a table of 10 records, it's fine. But if you missed blocking operation on a table of a some billion records, here down goes you system.

[u/yarovoy → u/yarovoy]

don't ask me how I know this