I am fascinated by Unison: https://unisonweb.org/2015-05-07/about.html#post-start — it's structured editing, immutable codebases, *and* parallel programming! Seems viable.
miniblog.
Related Posts
Effects and code as a database in Unison: https://jaredforsyth.com/posts/whats-cool-about-unison/
Unison is looking at changing their program representation to plain sqlite!
Unison has a really nice docstring model, with helpers to interpolate values or function syntax!
https://www.unisonweb.org/docs/documentation/
Unison is exploring the idea of storing source code by the hash of its AST, which allows some interesting refactoring and testing designs: https://www.theregister.co.uk/AMP/2019/09/26/unison_programming_language/