You might want to check out Urbit: urbit.org. The whitepaper[1] is a bit outdated but in section 12 "Inadequate summary of related work" you can see some of its influences:
"Many historical OSes and interpreters have approached the SSI[2] ideal,
but fail on persistence, determinism, or both. In the OS department,
the classic single-level store is the IBM AS/400 [18]. NewtonOS [19]
was a shipping product with language-level persistence. Many image oriented interpreters (e.g., Lisps [20] and Smalltalks) are also SSI-ish,
but usually not transactional or deterministic. And of course, many
databases are transactional and deterministic, but their lifecycle function is not a general-purpose interpreter."
Urbit is mostly marketing fluff for extracting money from investors and potential users. It is based on a for-profit commodity and ecosystem (their stars and ships and planets and all that stuff) that you have to buy into to use it. You cannot just "run your own urbit".
Sadly, Urbit is forever tarred by one of its contributors. I'm not saying it's not worth investigating. It is. But why put your energies in a software project which already has a cultural strike against it? It's sort of like maintaining RieserFS: technically interesting but upsetting the social nature of programming humans.
Well. Rieser tried to keep his professional and criminal lives separate. RieserFS wasn't an expression of his revolutionary worldview.
And I was going to point out that Java survived Patrick McNaughton, FOSS survived ESR, etc.
From the whitepaper, Urbit looks bitchin. I love its audacity. In that way, reminds me of Linda (tuplespaces), Xanadu, Jef Raskin's Humane Interfaces (Canon Cat), and others.
Alas. It appears Urbit and its creator's worldview are inseparable.
I'll wait for the reboot. Or maybe just glean some of its ideas.
"Many historical OSes and interpreters have approached the SSI[2] ideal, but fail on persistence, determinism, or both. In the OS department, the classic single-level store is the IBM AS/400 [18]. NewtonOS [19] was a shipping product with language-level persistence. Many image oriented interpreters (e.g., Lisps [20] and Smalltalks) are also SSI-ish, but usually not transactional or deterministic. And of course, many databases are transactional and deterministic, but their lifecycle function is not a general-purpose interpreter."
- [1] https://media.urbit.org/whitepaper.pdf
- [2] "Solid-State Interpreter"