Mir, the peaceful programming language