See the event sourcing pattern for an example of immutability at the backend.

http://martinfowler.com/eaaDev/EventSourcing.html

https://msdn.microsoft.com/en-us/library/dn589792.aspx