Mielestäni on varmasti hyvin mielenkiintoista aikaa olla ohjelmointikielten ja muodollisten menetelmien parissa, koska LLM:t muuttavat ohjelmistojen koko rajoitteiden kentän täysin. Vihjeitä tästä voi jo nähdä, esimerkiksi C:n siirtämisen Rustille kasvavassa vauhdissa tai kasvavassa kiinnostuksessa päivittää vanhoja koodipohjia COBOLissa jne. Erityisesti LLM:t ovat *erityisen* hyviä kääntämään verrattuna de-novo-generointiin, koska 1) alkuperäinen koodipohja toimii eräänlaisena erittäin yksityiskohtaisena kehotteena ja 2) viitteenä konkreettisten testien kirjoittamiseen liittyen. Siitä huolimatta edes Rust ei ole lähelläkään optimaalista LLM:ille kohdekieleksi. Millainen kieli on optimaalista? Mitä myönnytyksiä (jos ollenkaan) ihmisille vielä myönnetään? Uskomattoman mielenkiintoisia uusia kysymyksiä ja mahdollisuuksia. On todennäköistä, että päädymme kirjoittamaan suuria osia kaikesta koskaan kirjoitetusta ohjelmistosta uudelleen monta kertaa.