Creo que debe ser un momento muy interesante para estar en lenguajes de programación y métodos formales porque los LLMs cambian completamente el panorama de las restricciones del software. Ya se pueden ver indicios de esto, por ejemplo, en el creciente impulso detrás de portar C a Rust o el creciente interés en actualizar bases de código heredadas en COBOL, etc. En particular, los LLMs son *especialmente* buenos en traducción en comparación con la generación de nuevo, porque 1) la base de código original actúa como una especie de aviso altamente detallado, y 2) como una referencia para escribir pruebas concretas al respecto. Dicho esto, incluso Rust está lejos de ser óptimo para los LLMs como lenguaje objetivo. ¿Qué tipo de lenguaje es óptimo? ¿Qué concesiones (si es que hay alguna) aún se reservan para los humanos? Nuevas preguntas y oportunidades increíblemente interesantes. Es probable que terminemos reescribiendo grandes fracciones de todo el software jamás escrito muchas veces.