I'm curious what advantages this has over adding durability to an existing language, like DBOS does:
https://github.com/dbos-inc/dbos-demo-apps/blob/main/python/...
https://github.com/dbos-inc/dbos-demo-apps/blob/main/python/...
Admittedly the lang spec doesn't do a great job at the justification side, but the engine spec adjacent to it at https://github.com/cretz/duralade/blob/initial-runtime/docs/... that has sections showing CLI/API commands can help make it clearer where this runtime is unique.