tyypittely
Tyypittely tarkoittaa ohjelmointikielessä sitä, miten arvoille ja lausekkeille annetaan tyypit ja miten näiden tyyppien käyttöä valvotaan. Tyypit kuvaavat arvojen ominaisuuksia sekä sitä, millaisia operaatioita niille voidaan sallia, ja ne muodostavat ohjelman tyyppijärjestelmän perustan.
Tyypit voivat olla perusmuotoja kuten kokonaisluku, liukuluku tai merkkijono, sekä koostettuja tyyppejä kuten listat, syötävät oliokokonaisuudet
Tyyppijärjestelmä voi olla nominal tai rakenteellinen, mikä vaikuttaa siihen, miten tyypit ovat yhteensopivia ja miten niiden
Tyypittelyn edut ovat virheiden havaitseminen jo kehitysvaiheessa, parempi turvallisuus ja parempi työkalutuki, kuten automaattinen täydennys sekä