Penso che debba essere un periodo molto interessante per i linguaggi di programmazione e i metodi formali, poiché gli LLM cambiano completamente il panorama dei vincoli del software. Accenni a questo possono già essere visti, ad esempio, nel crescente slancio dietro il porting del C in Rust o nel crescente interesse per l'aggiornamento delle basi di codice legacy in COBOL, ecc. In particolare, gli LLM sono *soprattutto* bravi nella traduzione rispetto alla generazione de-novo perché 1) la base di codice originale funge da una sorta di prompt altamente dettagliato e 2) come riferimento per scrivere test concreti a riguardo. Detto ciò, anche Rust non è affatto ottimale per gli LLM come linguaggio di destinazione. Quale tipo di linguaggio è ottimale? Quali concessioni (se ce ne sono) sono ancora riservate agli esseri umani? Nuove domande e opportunità incredibilmente interessanti. Sembra probabile che finiremo per riscrivere grandi frazioni di tutto il software mai scritto molte volte.