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.