Я думаю, что сейчас очень интересное время для языков программирования и формальных методов, потому что LLM полностью меняют весь ландшафт ограничений программного обеспечения. Намёки на это уже можно увидеть, например, в растущем интересе к портированию C на Rust или к обновлению устаревших кодовых баз на COBOL и т.д. В частности, LLM *особенно* хороши в переводе по сравнению с генерацией с нуля, потому что 1) исходная кодовая база служит своего рода высокодетализированным запросом, и 2) является ссылкой для написания конкретных тестов. Тем не менее, даже Rust далеко не оптимален для LLM как целевой язык. Какой язык является оптимальным? Какие уступки (если таковые имеются) всё ещё сделаны для людей? Невероятно интересные новые вопросы и возможности. Кажется вероятным, что мы в конечном итоге перепишем большие доли всего когда-либо написанного программного обеспечения много раз.