Creo que debe de ser una época muy interesante para estar en lenguajes de programación y métodos formales porque los LLMs cambian por completo el panorama de restricciones del software. Ya se pueden ver indicios de esto, por ejemplo, en el impulso creciente detrás de portar C a Rust o el interés creciente en actualizar bases de código heredadas en COBOL, etc. En particular, los LLM son *especialmente* buenos en traducción comparados con la generación de nuevo porque 1) la base de código original actúa como una especie de indicación muy detallada, y 2) como referencia para escribir pruebas concretas respecto a ello. Dicho esto, ni siquiera Rust es lo ideal para los LLMs como idioma objetivo. ¿Qué tipo de lenguaje es óptimo? ¿Qué concesiones (si es que hay alguna) siguen siendo cedidas para los humanos? Preguntas y oportunidades increíblemente interesantes. Parece probable que acabemos reescribiendo grandes fracciones de todo el software jamás escrito muchas veces.