Myslím, že to musí být velmi zajímavá doba pro programovací jazyky a formální metody, protože LLM úplně mění prostředí omezení softwaru. Náznaky toho jsou už patrné, například v rostoucím zájmu portování C do Rustu nebo rostoucím zájmu o upgrade starších kódů v COBOLu a podobně. Zejména jsou LLM *obzvlášť* dobré pro překlad ve srovnání s generací de-novo, protože 1) původní kódová základna slouží jako jakýsi vysoce detailní prompt a 2) jako reference pro psaní konkrétních testů ve vztahu na. To ale neznamená, že ani Rust není zdaleka ideální pro LLM jako cílový jazyk. Jaký typ jazyka je optimální? Jaké ústupky (pokud vůbec nějaké) jsou pro lidi stále vyčleněny? Neuvěřitelně zajímavé nové otázky a příležitosti. Zdá se pravděpodobné, že budeme muset přepsat velké části veškerého softwaru, který kdy byl napsán, mnohokrát.