tyyppiluokkaa

Tyyppiluokka on ohjelmointikielissä abstraktio, joka määrittelee joukon tyyppejä, joille on mahdollista tarjota yhteisiä ominaisuuksia ja operaatioita. Tyyppiluokkia käytetään ad-hoc-polymorfian toteuttamiseen: sama funktio voi käsitellä eri tyyppejä, kun ne kuuluvat samaan tyyppiluokkaan.

Usein mainitut esimerkit ovat Haskellin Eq, Show ja Ord. Nämä määrittelevät, millaisia operaatioita tyypeillä on ja millaisia laillistettavia käyttäytymismuotoja niiden toteuttavien tyypeillä on. Rustin vastine on trait, joka määrittelee joukon metodeja ja voidaan toteuttaa useille tyypeille. Eri kielissä tyyppiluokkien tai niiden vastineiden toteutustavat eroavat, mutta ne tavoittelevat samaa ideaa: tarjota yhteinen rajapinta erilaisten tyylien käsittelyyn.

Käytännössä tyyppiluokkia käytetään rajoitteina funktion tai operaation tyypin yhteydessä. Tämä mahdollistaa funktioiden yleistämisen koskemaan kaikkia tyyppejä, jotka toteuttavat määritellyn tyyppiluokan. Esimerkiksi funktio, joka tarvitsee osa- toimintoja tietyltä operaatiolta, voidaan kirjoittaa niin, että se toimii vain tyypeillä, jotka kuuluvat kyseiseen tyyppiluokkaan.

Tyypillisesti tyyppiluokkia verrataan muissa paradigmoissa käytettyihin rajapintoihin: ne tarjoavat modulaarin tavan ilmaista, mitkä toiminnot ovat saatavilla kullekin tyypille ilman perinnän käyttöä. Osa kielistä tukee koherenssiongelmien hallintaa ja päällekkäisten toteutusten rajoja, toiset antavat joustavamman, mutta monimutkaisemman mekanismin.

Historiallisesti käsite kehittyi 1980–1990-luvulla osaksi Haskellin tyypin- ja polymorfian järjestelmää, ja se on sittemmin levinnyt muun muassa kieliin, joissa on vastineita kuten traitit tai järjestetyt rajapinnat. Tyyppiluokat ovat keskeinen osa monien laskennan ja ohjelmoinnin teorioiden sekä käytännön ohjelmointikielten suunnittelua.