[9dev]

This sounds a lot like the original vision of darklang: https://darklang.com

[wello]

I think this vision is also shared by Unison: https://unison-lang.org/

[duesabati]

Yeah exactly, came to the comments just for this check