A típusalapú programozás egy olyan programozási stílus , amelyet a típusinformációk széleskörű felhasználása jellemez, így a típuskonzisztencia -ellenőrző mechanizmus biztosítja a lehető legtöbb hibatípus korai felismerését . A teljesen gépelt programozás támogatható a nyelv típusrendszerének szintjén , vagy idiomatikusan bevezethető a programozó által . A koncepciót Luca Cardelli vezette be 1991 -ben az azonos nevű művében .
A Haskell egy teljes típusú nyelv .