We need an append-only programming language.