I mean, delete the source, but store an intermediate representation that can be decompiled into any other language for reading. Languages with good type system

I mean, delete the source, but store an intermediate representation that can be decompiled into any other language for reading. Languages with good type systems and tooling support a workflow where you mostly rely on Intellisense hints and docs, and never read the code itself. That, but taken to its logical conclusion: if you never read the source code, you don't need to store the source code. The missing part is the ability to define algorithms as modifications of existing algorithms.