Tiparea strictă este una dintre variantele politicii de lucru cu tipurile de date, care este folosită în limbile de programare.
Introducerea strictă implică îndeplinirea a două condiții obligatorii:
- Fiecare valoare, un parametru și retur valoare variabilă a programului funcție în proiectarea pas cu siguranță se leagă la un anumit tip de date care nu pot fi schimbate în timpul execuției programului (t. N. dactilografiere static).
- Atribuirea unei variabile la o valoare care are exact același tip de date ca variabila este permisă, aceleași restricții se aplică și transferului de parametri și returnării rezultatelor funcțiilor.
- Fiecare operație necesită parametri de tipuri strict definite.
- Conversiile de tip implicit nu sunt permise.
Atunci când se respectă exact cerințele de tiparire strictă, chiar și tipurile de date care sunt identice în compoziție și operațiile admise sunt incompatibile. În cazul în care un program trebuie să fie setat la același tip de date unei variabile de alt tip, acest lucru se poate face, dar numai prin utilizarea explicită a unei conversii speciale de tip operațiune, care, în astfel de cazuri este de obicei parte dintr-un limbaj de programare (deși nu poate fi formal, și cu condiția ca bibliotecile standard de) .
În teoria programării, tastarea strictă este un element indispensabil în asigurarea fiabilității software-ului dezvoltat. Atunci când este utilizat în mod corect (presupunând că declarați și anumite tipuri de date sunt folosite pentru valorile incoerente) protejează programator de erori greu de simple, dar legate de repartizarea unei valori incoerente care apar, uneori, din cauza alunecări elementare. sunt detectate astfel de erori în faza de compilare a programului, în timp ce la posibilitatea implicit practic orice tip între ele (cum ar fi în limbajul clasic C), sunt detectate aceste erori numai în testare, și nu toate și nu imediat. Pe de altă parte, mulți programatori profesioniști nu le place tastarea puternic din cauza neplăceri sale - crește volumul programului și timpul său de scriere, necesită un studiu mai atent al codului care pare ca nejustificată multora.