Persistent programming languages