A szekvenciális gépelés olyan típusrendszer , amelyben bizonyos változók szigorú típusokkal előre definiálhatók. Ezt követően ezeknek a változóknak a beírásának helyességét a fordításkor ellenőrzik, azaz statikus gépelést alkalmaznak ezekre a változókra . A fennmaradó változók típus nélkül hagyhatók, és az esetleges típushibákat a rendszer futás közben jelenti.
A következetes gépelés lehetővé teszi a szoftverfejlesztők számára, hogy a használt nyelvnek megfelelő paradigmát válasszanak. Sok esetben a konzisztens gépelés hozzáadódik a nyelv meglévő dinamikus gépeléséhez anélkül, hogy abszolút minden változónál statikus gépelésre lenne szükség.