Programointikielet

Programointikielet ovat ohjelmistojen laatimiseen tarkoitettuja formaaleja kieliä, joiden avulla ohjelmoija voi määritellä, mitä laskentoja suoritetaan, miten dataa käsitellään ja miten ohjelma reagoi erilaisiin tapahtumiin. Kielen ominaisuuksiin kuuluvat syntaksi (sääntöjoukko) sekä semantiikka (lauseiden merkitys) ja niihin liittyvät työkalut kuten kääntäjät, tulkit ja ajurit sekä kirjastot ja kehitysympäristöt.

Kielet jaetaan usein paradigmoittain. Imperatiiviset kielet kuvaavat ohjelman suoritusprosessin peräkkäisten käskyjen kautta, funktionaaliset kielet painottavat puhtaita funktioita ja muuttumattomuutta, olio-ohjaukseen perustuvat kielet rakennetaan luokkien ja olioiden ympärille, ja loogiset sekä deklaratiiviset kielet keskittyvät sääntöihin ja totuusarvoihin. Monet kielet ovat moniparadigmaisia ja tukevat useampaa lähestymistapaa.

Suoritustapa vaihtelee. Jotkut kielet käännetään suoraan konekielelle, toiset tulkataan reaaliaikaisesti, ja osa käyttää sekä tulkitsemista että jälkikäännöstä (JIT). Tyypitys voi olla staattinen tai dynaaminen sekä vahva tai heikko; käytännössä kieltä valitessa painotetaan usein sekä suorituskykyä että turvallisuutta ja kehityksen helppoutta.

Käytännössä kielet voivat olla yleiskäyttöisiä tai erikoistuneita. Esimerkkejä yleiskielistä ovat C, C++, Java, Python, JavaScript, C#, Go, Rust ja Kotlin. Standardeja on olemassa joillakin kielillä (esim. ANSI C, ISO/IEC-standardit tai ECMAScript). Kielet vaikuttavat ajettavuuteen, yhteensopivuuteen ja ekosysteemin laajuuteen, mikä heijastuu sekä oppimiseen että ohjelmistokehityksen käytäntöihin. Tulevaisuudessa korostuvat moni‑ ja turvallisuuspainotteiset ratkaisut sekä monialustainen suorituskyky WebAssembly -tuella.