It sounds like that content-addressed code as in the Unison language https://www.unisonweb.org/ could end up facilitating the design of a very effective IDE since the language can naturally generate an immutable structure by default.
I don't know enough to know if this hunch is correct, I'm wondering if anyone better informed can chime in.
Yes this is correct. We use content addressable code, inspired by Unison for yazz Pilot, and it makes so many things in the ide really simple, including dependency management and stuff like that
I don't know enough to know if this hunch is correct, I'm wondering if anyone better informed can chime in.