Tyyppimäärittelyt

Tyyppimäärittelyt ovat ohjelmointi- ja tietojenkäsittelytieteen käsite, jolla tarkoitetaan järjestelmän tai kielen määrittämiä arvojoukkoja ja sääntöjä, joiden perusteella tietyt tiedot voidaan tulkita ja käsitellä. Niiden tarkoituksena on varmistaa, että ohjelman muuttujat, rakenteet ja tiedonvaihto noudattavat suunniteltuja odotuksia, sekä helpottaa virheiden havaitsemista, turvallisuutta ja ylläpidettävyyttä.

Tyyppimäärittelyt kattaa sekä datan ominaisuudet että rajoitteet. Ne määrittelevät, millaisia arvoja tyyppi voi sisältää (esimerkiksi kokonaisluvut tai merkkijonot), millaisia operaatioita niille voi suorittaa ja miten arvot voivat liittyä toisiinsa. Tyyppimäärittelyt voivat olla joko kielikohtaisia tai rakenteellisia, ja niitä käytetään sekä ohjelmoinnissa että tiedonmuotovälineissä, kuten API-rajapinnoissa ja tietovarastoissa.

Käytännössä tyypit voidaan määritellä eri tavoilla. Staattinen tyyppijärjestelmä tarkistaa tyypit käännösvaiheessa, kun taas dynaaminen järjestelmä tekee tämän ajon aikana. Eri kielissä käytetään erilaisia mekanismeja, kuten tyypin nimeäminen ja aliasointi (typedef tai type alias), uuden tyypin luominen (newtype, struct, class) sekä niiden yhdistelmät. Yleisiä käsitteitä ovat nominal ja structural typing sekä vahva vs heikko typing.

Esimerkkejä ovat TypeScriptin tyypit ja rajapinnat, C:n typedef, Haskellin newtype sekä JSON Scheman kaltaiset kuvausmäärittelyt. Tyyppimäärittelyt tukevat sekä ohjelmiston suunnittelua että yhteentoimivuutta ulkoisten järjestelmien kanssa.