Програмски језик који захтева дефинисање променљиве као и променљиве. На пример, Ц је изразито типизован језик, када декларишете променљиву, морате да наведете и тип променљиве. У следећем примеру, тест варијабла је декларисана као цели број у првој линији, друга линија као плутајућа тачка, а трећа линија или знак.

 инт тест = 25; флоат тест = 2.3; цхар тест = 'е'; 

Супротно јаком типу језика је лабаво отипкани језик, као што је Перл.

Лабо типкани језик, програмски термини