Ero sivun ”Tyyppijärjestelmä” versioiden välillä

44 merkkiä poistettu ,  7 vuotta sitten
p
Bot: Migrating 1 interwiki links, now provided by on Wikidata on Q865760; kosmeettisia muutoksia
p (Botti poisti 20 Wikidatan sivulle d:q865760 siirrettyä kielilinkkiä)
p (Bot: Migrating 1 interwiki links, now provided by on Wikidata on Q865760; kosmeettisia muutoksia)
[[ohjelmointikieli|Ohjelmointikielen]] '''tyyppijärjestelmä''' määrittelee, kuinka ohjelmointikieli luokittelee [[arvo (ohjelmointi)|arvoarvot]]t ja [[muuttuja]]t '''tyyppeihin''', kuinka se käsittelee näitä tyyppejä ja kuinka nämä tyypit toimivat keskenään. Tyyppi tai '''tietotyyppi''' on joukko arvoja, joilla on yleensä samanaiheinen merkitys tai yhtenevä toteutus.
 
== Merkitys ==
Tietotyypit antavat tulkinnan [[tietokone]]en muistissa oleville [[bitti]]jonoille. Tavanomaisten tietokoneiden [[muisti]] koostuu järjestyksessä olevista biteistä, joiden tulkintaa on vapaa. Niinpä sama osa muistin sisältöä voidaan tulkita vaikkapa merkiksi, [[kokonaisluku|kokonaisluvuksi]], [[liukuluku|liukuluvuksi]] tai osoitteeksi toiseen muistipaikkaan. Tyypit kertovat ohjelmille ja ohjelmoijille, kuinka nämä bitit tulkitaan.
 
Muuttujan tai arvon tyyppi määrittelee, millä tavoin se voi toimia muiden muuttujien tai arvojen kanssa. '''Tyyppitarkastuksessa''' varmistutaan siitä, että tyypit toimivat näiden rajoitusten mukaan, eli tarkastetaan osa ohjelman semantiikasta. Tyyppitarkastus voidaan suorittaa ohjelman käännösaikana (''staattinen tyyppitarkastus'') tai ajoaikana (''dynaaminen tyyppitarkastus'').
 
Tyyppijärjestelmä antaa seuraavia merkittäviä hyötyjä:
[[Luokka:Tietojenkäsittelyteoria]]
[[Luokka:Ohjelmointi]]
 
[[de:Typisierung (Informatik)#Typsystem]]
16 602

muokkausta