Acho que deve ser um momento muito interessante para estar nas linguagens de programação e métodos formais, porque os LLMs mudam completamente o panorama das restrições do software. Pistas disso já podem ser vistas, por exemplo, no crescente impulso por portar C para Rust ou no crescente interesse em atualizar bases de código legadas em COBOL, etc. Em particular, os LLMs são *especialmente* bons em tradução em comparação com a geração de novo, porque 1) a base de código original atua como uma espécie de prompt altamente detalhado, e 2) como uma referência para escrever testes concretos a respeito. Dito isso, mesmo Rust está longe de ser o ideal para os LLMs como linguagem-alvo. Que tipo de linguagem é ideal? Que concessões (se houver) ainda são feitas para os humanos? Novas questões e oportunidades incrivelmente interessantes. Parece provável que acabaremos reescrevendo grandes frações de todo o software já escrito muitas vezes.