tyyppit

Tyyppi (monikko tyypit) on käsite, jolla tarkoitetaan luokkaa tai ryhmää, johon kohteet voidaan luokitella. Tyyppien avulla määritellään, millaisia arvoja ja operaatioita kohteelle voidaan antaa sekä miten arvoja tallennetaan ja tarkistetaan. Tyyppien avulla voidaan varmistaa ohjelmien oikeellisuutta ja helpottaa vuorovaikutusta eri osien kanssa.

Tietotekniikassa tyypit kuvaavat arvoja ja niiden sallittuja operaatioita. Primitiviset tyypit sisältävät esimerkiksi kokonaisluvut, liukuluvut, totuusarvot ja merkkijonot; koostetut tyypit rakentuvat näiden yhdistelmistä, kuten taulukot, rakenteet, tuplat ja kartat. Tyyppijärjestelmät voivat olla staattisia (tarkastetaan käännösvaiheessa) tai dynaamisia (tarkastukset ajonaikaisesti); osa kielistä tukee sekä eksplisiittistä että päättelyyn perustuvaa tyypitystä. Tyyppivarmuus tarkoittaa, että ohjelman toiminnot ovat yhteensopivia määriteltyjen tyypien kanssa, mikä auttaa havaitsemaan virheitä ennen suoritusta.

Eri ohjelmointikielet ja ympäristöt käyttävät erilaisia tyypitysperiaatteita. Esimerkkeinä ovat staattinen ja vahva tyypitys sekä dynaaminen ja heikko tyypitys. Lisäksi tyypit ovat keskeisiä datamallinnuksessa ja rajapintojen määrittelyssä: tietokantakenttien tyypit, JSON- tai XML-viestien skeemat sekä API-rajapintojen tiedot. Generics eli geneeriset tyypit sekä polymorfismi mahdollistavat koodin uudelleenkäytön useilla eri tyypeillä. Yhteenvetona tyypit ovat perusta ohjelmistoarkkitehtuurille, tiedon turvalliselle käsittelylle ja ylläpidettävyydelle.