Myślę, że to musi być bardzo interesujący czas dla języków programowania i metod formalnych, ponieważ LLM zmieniają całkowicie krajobraz ograniczeń oprogramowania. Wskazówki na ten temat można już dostrzec, np. w rosnącej dynamice przenoszenia C do Rust lub w rosnącym zainteresowaniu modernizacją starych baz kodu w COBOL-u itd. W szczególności LLM są *szczególnie* dobre w tłumaczeniu w porównaniu do generacji de-novo, ponieważ 1) oryginalna baza kodu działa jako rodzaj bardzo szczegółowego podpowiedzi, a 2) jako odniesienie do pisania konkretnych testów. Mówiąc to, nawet Rust nie jest wcale optymalny dla LLM jako język docelowy. Jaki rodzaj języka jest optymalny? Jakie ustępstwa (jeśli w ogóle) są nadal wypracowywane dla ludzi? Niezwykle interesujące nowe pytania i możliwości. Wydaje się prawdopodobne, że skończymy na przepisaniu dużych części całego oprogramowania, które kiedykolwiek zostało napisane, wiele razy.