Je pense que c'est un moment très intéressant pour être dans les langages de programmation et les méthodes formelles, car les LLM changent complètement le paysage des contraintes du logiciel. Des indices de cela peuvent déjà être observés, par exemple dans l'élan croissant derrière le portage de C vers Rust ou l'intérêt grandissant pour la mise à niveau des bases de code héritées en COBOL, etc. En particulier, les LLM sont *particulièrement* bons en traduction par rapport à la génération de novo, car 1) la base de code originale agit comme une sorte de prompt très détaillé, et 2) comme référence pour écrire des tests concrets. Cela dit, même Rust n'est pas du tout optimal pour les LLM en tant que langage cible. Quel type de langage est optimal ? Quelles concessions (le cas échéant) sont encore faites pour les humains ? De nouvelles questions et opportunités incroyablement intéressantes. Il semble probable que nous finirons par réécrire de grandes fractions de tout le logiciel jamais écrit plusieurs fois.