Programarea tipului este un stil de programare caracterizat prin utilizarea pe scară largă a informațiilor de tip, astfel încât mecanismul de verificare a coerenței tipului asigură detectarea timpurie a numărului maxim de tipuri posibile de erori . Programarea complet tipizată poate fi suportată la nivelul sistemului de tip limbaj sau introdusă idiomatic de către programator . Conceptul a fost introdus de Luca Cardelli în 1991 în lucrarea cu același nume .
Haskell este un limbaj de tip complet .