[chriseidhof]

Other people know a lot more about this, but IIRC Unison has some ideas that go in this direction: https://www.unison-lang.org

[whalesalad]

This language was on the tip of my tongue, thanks for sharing. I thought it was relevant too. Specifically: https://www.unison-lang.org/learn/the-big-idea/

    > Each Unison definition is identified by a hash of its syntax tree.
    > Put another way, Unison code is content-addressed.