Tietotyypeille

Tietotyypit ovat ohjelmoinnissa arvojen luokittelua, joka kertoo, millaisia arvoja muuttuja voi sisältää, miten arvo tallennetaan muistissa ja millaisia operaatioita sille voidaan suorittaa. Jokaiselle muuttujalle määritellään tietotyyppi, joka ohjaa sekä arvojen rakennetta että niiden käyttämistä ohjelmassa.

Tietotyypit voidaan jakaa primitiivisiin (esim. kokonaisluvut, liukuluvut, totuusarvot, merkit) sekä koostettuihin (taulukot, rakenteet/struct, tuple, oliot/luokat sekä enumeraatiot). Joissakin kielissä on lisäksi erillisiä viite- tai osoitetyyppejä sekä erikoistyyppejä, kuten päivämäärä- ja ajankohtatyyppejä. Tietotyypeille voidaan myös määritellä tarkempia rajoja ja käsittelylogiikkaa, kuten null-arvojen käsittely.

Tietotyypit voivat olla staattisesti tai dynaamisesti tarkistettuja: staattisessa tyypityksessä tyypit päätetään jo käännösvaiheessa, kun taas dynaamisessa tyypityksessä tyypit määritetään ajonaikaisesti. Vahva tai heikko tyypitys kuvaa, kuinka tiukasti järjestelmä sallii arvojen muunnokset. Nimellinen (nominal) ja rakenneperusteinen (structural) tyypitys kuvaavat, miten tyypit identifioidaan ja verrataan.

Käytännössä tietotyypit ohjaavat virheiden havaitsemista, muistin hallintaa, suorituskykyä ja ohjelmiston ylläpidettävyyttä. Esimerkkejä ohjelmointikielistä: C: int ja double; Python: dynaamisesti tyypitetty kantamuoto; TypeScript: staattinen tyyppijärjestelmä sekä generiset tyypit. Tietotyyppejä voidaan laajentaa käyttäjän määrittelemillä tyypeillä, mikä parantaa ohjelmiston turvallisuutta ja ilmaisukykyä.