There was a nice programming language (unison) posted here some weeks ago that was based on pushing this to the extreme https://news.ycombinator.com/item?id=95

There was a nice programming language (unison) posted here some weeks ago that was based on pushing this to the extreme https://news.ycombinator.com/item?id=9512955 https://news.ycombinator.com/item?id=9512955 What I understood was that objects/function are referred by hash of the source/dependency tree so that updates can be propagated transparently.