Tyyppijärjestelmät
Tyyppijärjestelmät ovat olennainen osa ohjelmointikieliä, jotka määrittelevät, miten ohjelmointikielen arvoja ja niiden käsittelyä koskevia sääntöjä sovelletaan. Tyypit määrittävät, minkälaisia arvoja muuttuja voi sisältää ja mitä operaatioita näille arvoille voidaan suorittaa. Esimerkiksi kokonaislukutyyppi sallii vain kokonaislukuarvot ja siihen kohdistuvat operaatiot, kuten yhteenlasku ja vähennyslasku, kun taas merkkijonotyyppi käsittelee tekstiä.
Tyyppijärjestelmät voidaan jakaa karkeasti kahteen pääluokkaan: staattisiin ja dynaamisiin. Staattisessa tyypitysjärjestelmässä tyyppitarkistukset suoritetaan ohjelman käännösaikana. Tämä
Dynaamisessa tyypitysjärjestelmässä tyyppitarkistukset tehdään ohjelman suoritusajankohtana. Tämä tarjoaa joustavuutta ja voi nopeuttaa ohjelman kehitysprosessia, koska tyyppimäärittelyjä