I was about to comment also that unison is an interesting approach, we need more tooling support before it can be possible, ideally there need to be a protocol

I was about to comment also that unison is an interesting approach, we need more tooling support before it can be possible, ideally there need to be a protocol that the new kind of editors can be built on top, similar to how LSP enabled editors to support different programming languages without a proprietary implementation. I'm wondering if the unison devs already have plans on working on a protocol like that.