Acho que deve ser uma época muito interessante para estar em linguagens de programação e métodos formais, porque LLMs mudam completamente o cenário de restrições do software. Já podem ser vistos indícios disso, por exemplo, no impulso crescente em torno da portabilidade do C para Rust ou no interesse crescente em atualizar bases de código legadas em COBOL ou assim por diante. Em particular, LLMs são *especialmente* bons em tradução em comparação com geração de novo porque 1) a base de código original atua como um tipo de prompt altamente detalhado, e 2) como referência para escrever testes concretos em relação a. Dito isso, mesmo o Rust está longe de ser ideal para LLMs como linguagem-alvo. Que tipo de linguagem é a ideal? Quais concessões (se houver) ainda são feitas para os humanos? Perguntas e oportunidades incrivelmente interessantes. Parece provável que acabaremos reescrevendo grandes frações de todo o software já escrito muitas vezes.