Tyyppijärjestelmä
From Wikipedia, the free encyclopedia
Ohjelmointikielen tyyppijärjestelmä määrittää, kuinka ohjelmointikieli luokittelee ohjelmassa esiintyvät entiteetit tyyppeihin.[1] Tyyppejä ovat lausekkeet, muuttujat ja niin edelleen.[1] Tyyppijärjestelmä vaikuttaa kuinka kielessä käsitellään tyyppejä ja tyyppien välisiä toimintoja.
Tyyppi tai tietotyyppi on numeeristen arvojen tulkintatapa.[2] Tyyppi voi koostua joukosta sallittuja arvoja (enumeraatio). Tyyppi voi olla komposiittityyppi, joka sisältää useita arvoja (kuten taulukko, luokka ja niin edelleen).
Tyyppijärjestelmä voi olla laajennettava: ohjelmoija voi määrittää uusia tyyppejä kuten luokkia.[1]