tüübikinnitus
Tüübikinnitus on programmeerimises süsteem, mis kontrollib, et muutujad ja andmed vastaksid etteantud tüübile (nt tekst, number, tõeväärtus), aidates vältida vigu koodis.
Tüübikinnitus (inglise keelest type checking) on programmeerimise põhimõiste, mis tähistab mehhanismi, kus programmeerimiskeel või kompilaator kontrollib, et muutujatele, funktsioonidele ja andmestruktuuridele antakse õiget tüüpi väärtusi. Näiteks kui muutuja on deklareeritud numbriks, siis tüübikinnitus hoiab ära selle, et sellele omistatkse teksti. Tüübikinnitus toimib programmeerimise ohutusmehanismina, mis aitab avastada vigu juba enne programmi käivitamist (staatilise tüübikinnistuse korral) või käitumise ajal (dünaamilise tüübikinnistuse korral). Tugevalt tüübitatud keeltes nagu TypeScript, Java või C++ on tüübikinnitus range, nõudes täpseid tüübideklaratsioone. Nõrgalt tüübitatud keeltes nagu JavaScript või Python on tüübikinnitus paindlikum või toimub ainult käitumise ajal. Tüübikinnitus parandab koodi usaldusväärsust, loetavust ja hooldatavust, kuna vead avastatakse varakult ja koodi käitumine on etteaimatavam.
Etümoloogia
Liitsõna: tüübi (andmetüübi) + kinnitus (kontrollimine, kinnitamine). Tõlge ingliskeelsest terminist «type checking».
Kasutusnäited
TypeScript lisab JavaScriptile tüübikinnistuse, mis aitab püüda vigu juba arenduse käigus.
Staatilise tüübikinnistuse tõttu annab kompilaator veateate, kui proovid numbrile omistada tekstiväärtust.
Pythonis toimub tüübikinnitus käitumise ajal, mitte kompileerimise faasis.