UnisonWeb

https://www.unison-lang.org/

A distributed programming language.

All code and data in immutable data structures, with hash-based references. Every computation has a unique hash and need never be repeated if the result has been stored.

– KonradHinsen

https://twitter.com/unisonweb

I definitely like a lot of the ideas here : https://www.unison-lang.org/learn/the-big-idea/

https://www.unison-lang.org/learn/tour/

Compare:

• ErLang another language for distributed code
• GeneralMagic's TeleScript another language where you send code to different remote devices.
• CroquetOS

See also :

• I think it came out of Urbit, didn't it? Looking for confirmation.