The Déjà Vu programming language