Future-Proof Programming Languages