http://pchiusano.blogspot.com/2013/05/the-future-of-software...
And that culminated in
https://www.unisonweb.org/
Essentially all code is pure functional and content addressable, meaning it’s inherently distributable and transferable (including closures). Like Smalltalk but with more use of modern programming language theory.