--- id: 2ceff210f0c200f8a3416690cac45bb5 author: Rabbit Princess title: 'Kielisuunnittelun vertailu LLM-pohjaisessa koodigeneroinnissa: abstraktioiden kustannukset ja Go-kielen eksplisiittisyys' description: Tämä artikkeli analysoi, miten olio-ohjelmoinnin polymorfismi, syntaktinen sokeri ja monimutkaiset moduulipuut kasvattavat LLM-mallien kontekstipäättelyn kustannuksia, ja käsittelee syitä, joiden vuoksi Go, jolla on eksplisiittinen ohjausvirta ja yksinkertainen syntaksi, soveltuu tekoälyavusteiseen koodin generointiin. language: fi date: 2025-05-18T04:44:19.742674221Z path: /blog/posts/modern-language-of-the-ai-era-z2d7204f1 category: ai lang_canonical: ko: https://blog.naver.com/sjc02183/223844938175 --- ## Moderni kieli Moderni kieli tarkoittaa kieltä, joka tarjoaa korkeamman tuottavuuden, vakauden, turvallisuuden ja ylläpidettävyyden verrattuna aiempiin kieliin. Nämä kielet omaksuvat aktiivisesti uusimpia tekniikoita ja käsitteitä ja tarjoavat kehittäjille tehokkaampia ja turvallisempia kehitystyökaluja. Tyypillisiä modernme kieliä ovat Java, Rust, Python ja TypeScript, ja niillä on seuraavat ominaisuudet. ### 1. Olio-ohjelmointi ( OOP ) Moderni kieli on useimmiten suunniteltu olio-ohjelmoinnin käsitteiden pohjalta. Olio-ohjelmointi tukee periaatteita, kuten kapselointi, periytyminen ja polymorfismi, ja jakamalla monimutkaisen järjestelmän pieniin olioihin se tekee ohjelman rakenteesta selkeän ja joustavan. Tämä on erityisen tehokasta laajamittaisessa ohjelmistokehityksessä, sillä se auttaa hallitsemaan kehityskustannuksia ja työmäärää sekä vähentää ylläpidon aikana syntyviä ongelmia. ### 2. Syntaktinen sokeri ja lausekepohjainen syntaksi Moderni kieli tarjoaa monenlaista syntaktista sokeria ja lausekepohjaista syntaksia koodin luettavuuden ja kehittäjien tuottavuuden parantamiseksi. Kolmiosainen operaattori, lambdalausekkeet, kuviovastaavuus ja vastaavat ominaisuudet vähentävät toistuvaa peruskoodia, tekevät koodista ennustettavaa ja parantavat kehittäjän tuottavuutta. ### 3. Moduulijärjestelmä Moderni kieli mahdollistaa ohjelman jakamisen useisiin yksiköihin moduulijärjestelmän avulla. Tämä helpottaa koodin uudelleenkäytettävyyttä ja riippuvuuksien hallintaa, ja se tekee ylläpidosta sujuvaa myös silloin, kun projekti kasvaa suureksi. Tyypillisiä esimerkkejä ovat Javan Maven/Gradle, Rustin Cargo ja TypeScriptin npm/yarn. ### 4. Välikieli ja virtuaalikone Moderni kieli ottaa käyttöön välikieliä ja virtuaalikoneita alustariippumattomuuden, suorituskyvyn optimoinnin ja turvallisuuden takaamiseksi. Tyypillisiä esimerkkejä ovat JVM, LLVM, WASM ja GraalVM. ## Kehitys tekoälyn aikakaudella ja modernien kielten rajoitteet Moderni kieli syntyi olettamuksella, että suurimman osan koodista kirjoittaa ihminen. Luonnollisesti modernin kielen tavoitteena on vähentää toistuvia töitä ja parantaa tuottavuutta sekä rakenteella, joka mahdollistaa kehittäjien yhteistyön, toteuttaa suuria ohjelmistoja tehokkaasti. Tekoälyn aikakaudella tämä oletus kuitenkin murenee yhä enemmän. Copilot, Cody ja vastaavat tekoälypohjaiset työkalut automatisoivat suuren osan koodin kirjoittamisesta, ja yhden kehittäjän tuottaman koodin määrä kasvaa huimasti. Tämän seurauksena modernien kielten piirteet, jotka aiemmin koettiin etuina, muuttuvat vähitellen vanhentuneiksi haitoiksi. ### Olio-ohjelmointi Tekoäly pystyy analysoimaan nopeasti ja tarkasti rakenteen, jossa kaikki tieto on esitetty yhdessä funktiossa tai moduulissa. Sen sijaan kun konteksti kasvaa, päätelmien tekemiseen tarvittavat alueet lisääntyvät, joten tekoälyn tuottavuus ja tarkkuus heikkenevät. OOP:lla kirjoitettu koodi jakaa logiikan useisiin olioihin sen sijaan, että se hallittaisiin yhdessä paikassa, ja tämä johtaa siihen, että tekoäly tarvitsee enemmän kontekstia. Tarkastellaan alla olevaa koodia. ```java public class AnimalHandler { public void handle(Animal animal) { animal.speak(); } } public class Main { public static void main(String[] args) { AnimalHandler handler = new AnimalHandler(); Animal a1 = new Dog(); Animal a2 = new Cat(); Animal a3 = new Horse(); handler.handle(a1); handler.handle(a2); handler.handle(a3); } } ``` Yllä olevassa koodissa tekoälyn on toistettava seuraavat päättelyvaiheet, jotta se ymmärtää, mitä speak()-metodi todella tekee 1. Minkä konkreettisen luokan instanssi animal on? 2. Mihin kyseisessä luokassa ylikirjoitettu speak()-metodi on määritelty? 3. Missä Dog- ja Cat-luokkien määritelmät ovat ja mitä niiden sisäinen toiminta on? 4. Onko mahdollista, että Dog- ja Cat-luokat ylikirjoitetaan jossakin toisessa luokassa? Nämä tiedot eivät ole koottuina yhteen tiedostoon tai funktioon, vaan ne on ymmärrettävä seuraamalla luokkatiedostojen välisiä suhteita ja periytymisrakennetta. Lisäksi heijastus (reflection) tai dynaaminen lataus kaltaiset ajonaikaisesti ratkeavat elementit ovat tekoälylle käytännössä mustia laatikoita, joten niiden analysointi on käytännössä mahdotonta. ### Syntaktinen sokeri ja lausekepohjainen syntaksi Tekoäly suosii eksplisiittistä toimintaa implisiittisen sijaan, ja se mieluummin yhdistää yksinkertaisia rakenteita yhdeksi oikeaksi vastaukseksi kuin käyttää monimutkaisia rakenteita sellaisenaan. Syntaktinen sokeri sen sijaan sallii monenlaisia ilmaisutapoja, mutta niiden sisäinen toiminta on usein sama tai samankaltainen. Tekoälyn täytyy oppia näiden eri ilmaisutapojen merkitys yksitellen, ja sen voi olla vaikea päättää, mikä syntaksi kannattaa suositella kussakin tilanteessa. ### Välikieli ja virtuaalikone Tekoäly oppii pääasiassa lähdekoodista. Välikieli (bytecode) sen sijaan menettää käännösvaiheessa muuttujien nimien kaltaisen merkityksen, ja virtuaalikoneen on tulkittava se uudelleen suoritushetkellä. Tämä on tekoälylle erittäin vaikea tehtävä, sekä ymmärtämisen että muuntamisen kannalta. Esimerkiksi tekoälylle TypeScriptistä Goon muuntaminen on mahdollista, mutta V8-moottorin bytecoden muuntaminen JVM:n bytecodeksi tai konekieleksi on käytännössä mahdotonta. ## Tekoälyn aikakauden todellinen moderni kieli Yllä olevan perusteella huomaamme, että modernien kielten piirteet ovat itse asiassa tekoälyaikaan sopimattomia, vanhentuneita elementtejä. Mikä kieli sitten voisi olla tekoälyn aikakauden sopivin moderni kieli? Vihjeitä tähän voi saada siitä, mitä aiemmat moderni kielet hylkäsivät. Tekoälyn aikakauden modernin kielen tulisi 1. Omata eksplisiittinen syntaksi ja luonnollinen virtaus. 2. Irtautua liiallisesta OOP-rakenteesta ja omata tasainen, yksinkertainen rakenne. 3. Sen sijaan että käytettäisiin tarpeetonta syntaktista sokeria tai implisiittisiä kaavoja, rakennetaan useita toimintoja rajallisella määrällä perusavainsanoja. 4. Omata yksinkertainen ja ennustettava rakennusjärjestelmä monimutkaisen sijaan. Kriteereihin parhaiten sopiva kieli on Golang. Go on suunniteltu niin, että mahdollisimman pienellä määrällä ydinavainsanoja ja yksinkertaisilla syntaksiyhdistelmillä voi toteuttaa suurimman osan käytännön ominaisuuksista, ja se karsii perusteellisesti tarpeettoman abstraktion ja implisiittisen toiminnan. Tämä on edullinen rakenne sekä kehittäjille että tekoälylle, joka tulkitsee ja tuottaa koodia. Tämä ennustettava ja tasainen rakenne, eksplisiittinen virta ja johdonmukainen syntaksi, joihin Go pyrkii, sopivat paremmin tekoälyn aktiivisesti osallistuvaan kehitysympäristöön kuin ihmiskehittäjää varten suunnitellut perinteiset modernit kielet. Go:n konservatiivinen suunnitteluperiaate, jota aiemmin pidettiin vanhanaikaisena, onkin tekoälyn aikakaudella itse asiassa kaikkein edistyksellisin valinta.