Cred că trebuie să fie o perioadă foarte interesantă pentru limbaje de programare și metode formale, pentru că LLM-urile schimbă complet peisajul constrângerilor software-ului. Indicii ale acestui lucru pot fi deja observate, de exemplu în impulsul tot mai mare pentru portarea C în Rust sau interesul tot mai mare pentru actualizarea bazelor de cod vechi în COBOL sau altele. În special, LLM-urile sunt *deosebit* bune la traducere comparativ cu generarea de-novo deoarece 1) baza originală de cod acționează ca un fel de prompt foarte detaliat și 2) ca referință pentru a scrie teste concrete în legătură cu acestea. Totuși, chiar și Rust nu este deloc optim pentru LLM-uri ca limbă țintă. Ce fel de limbaj este optim? Ce concesii (dacă există) mai sunt făcute pentru oameni? Întrebări și oportunități noi incredibil de interesante. Pare probabil că vom ajunge să rescriem de multe ori fracțiuni mari din tot software-ul scris vreodată.