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
Käytännössä tyyppiluokkia käytetään rajoitteina funktion tai operaation tyypin yhteydessä. Tämä mahdollistaa funktioiden yleistämisen koskemaan kaikkia tyyppejä,
Tyypillisesti tyyppiluokkia verrataan muissa paradigmoissa käytettyihin rajapintoihin: ne tarjoavat modulaarin tavan ilmaista, mitkä toiminnot ovat saatavilla
Historiallisesti käsite kehittyi 1980–1990-luvulla osaksi Haskellin tyypin- ja polymorfian järjestelmää, ja se on sittemmin levinnyt muun