Tyyppitietoja

Tyypitietoja, tai tyypin metadataa, tarkoittaa ohjelmointikielessä käytettävää informaatiota, joka kuvaa erään tietotyypin rakennetta ja ominaisuuksia. Tyypin metadataan sisältyy muun muassa tyypin nimi ja sen sijainti ohjelman tilassa (namespace tai kokoelma/assembly), perittyjen tyyppien hierarkia sekä toteutetut rajapinnat ja generiikkiparametrit. Lisäksi siihen kuuluvat tyypin jäsenet – kentät, ominaisuudet, metodit ja tapahtumat – sekä attribuutit ja muut konfiguraatioon liittyvät metatiedot.

Monissa kielissä tyypitietoja muodostuu sekä käännösaikaan että ajonaikaisesti. Ajonaikainen reflektio eli heijastus mahdollistaa tyypin metatietojen lukemisen ja dynaamisen käytön sovelluksessa. Joissakin kielissä tyypin tiedot ovat pääosin käytettävissä ajoissa, kun taas toisissa kielet voivat rajoittaa niiden saatavuutta tai poistaa ne kokonaan, jolloin tyyppitietojen hyödyntäminen ei ole mahdollista ajonaikaisesti.

Käyttökohteisiin kuuluvat muun muassa introspektio ja reflektio, sarjoitus ja deserialisointi, dynaaminen instansiointi sekä kehitystyökalujen ja IDE:iden toiminta, kuten koodin generointi ja virheiden jäljitys. Tyyppitietoja hyödynnetään myös rajapintojen ja tietorakenteiden yhteensopivuuden varmistamisessa sekä ohjelmiston konfiguroinnissa.

Esimerkkejä: .NET-ympäristössä tyypin metatietoja tarjotaan Type-luokan kautta, Java-ympäristössä Class-objekteilla, Pythonissa type-objektin ja __annotations__-tietojen avulla. TypeScriptin tyyppitiedot ovat tyypillisesti ajonaikaisesti eriytettyjä ja siten osittain pois käytöstä suoran reflektion kannalta.

Lyhyesti sanottuna tyypitiedot ovat ohjelmoinnin infrastruktuurin keskeinen osa, joka mahdollistaa tutkimisen, muokkaamisen ja varautumisen ohjelmiston rakennetta ja käyttäytymistä koskeviin tietoihin.