Immutable and Incremental Programming

December 17, 2012

This is just an idea; try to get on an imaginative road with me.

How about making programming languages immutable?

What if the basic requirement of a project is that you cannot change code anymore as soon you've added new functionality or fixed a bug?

Think of a log structured filesystem, for example. All changes you can make to your code base are put on top of what is already there.

How would such a programming language work? What features would programmers need from an IDE that makes immutable programming feasible?

Is this just a crazy idea? Was it exercised in all details before computers evolved from punch card readers to having terminals? Or are we now capable to create something useful; may be something better, which builds on this approach?