Strogo tipkanje je sustav tipova koji se koristi s programskim jezicima i prisiljava programera da unese kod na specifičan način kako to diktira sustav tipova i standardi jezika. Snaga jakog tipkanja može varirati, ali većina sustava tipova koristi ograničenja visoke čvrstoće. Ovo može zaustaviti većinu ili sve nevažeće unose, što može pomoći u sprječavanju pogrešaka kodiranja. Neki programski jezici dopuštaju programerima korištenje različitih cijelih brojeva, ali ovaj sustav tipkanja ograničava pretvorbe. Korisniku je nametnuta dosljednost, što može biti od koristi, ali ovaj sustav tipkanja također može oduzeti kreativnost.
Kada netko koristi komplet ili programski jezik koji ima jako tipkanje, ovaj sustav tipkanja može se postaviti s visokom ili niskom razinom snage. Visoka snaga znači da sustav tipkanja nameće jaka ograničenja korisniku, dok je niska snaga malo blaža s pogreškama i nedosljednim kodom. Dok se s nekim sustavima koristi niska čvrstoća, visoka čvrstoća je mnogo češća, jer se prednosti ovog sustava tipkanja najbolje održavaju uz visoku čvrstoću.
Programeri mogu stvoriti nevažeće unose prilikom izrade programa, bilo kao pogreška ili namjerno da isprobaju novo kodiranje. Sa slabim sustavom tipkanja, te će pogreške proći kroz prevodilac, što može uzrokovati ozbiljne pogreške. Kada se koristi jako tipkanje, programer će upozoriti na ove pogreške. Sustav će također obično odbiti sastavljanje programiranja dok se kodiranje ne popravi, osiguravajući da su pogreške minimalne.
U programiranju se često koriste cijeli brojevi, a programski jezik ponekad omogućuje korisnicima da unesu cijele brojeve koji nisu u skladu s jezikom. Istodobno, ako jezik ima alat za pretvorbu, to će pretvoriti cijele brojeve kako bi se mogli koristiti. Snažno tipkanje onemogućuje ovu praksu i odbija prihvatiti nestandardne cijele brojeve.
Način na koji snažno tipkanje kontrolira korisničku implementaciju programskog jezika znači da postoje mnoge prednosti i nedostaci. To ne dopušta pogreške ili nestandardno kodiranje, pa ovaj sustav tipkanja osigurava da je kodiranje dosljedno. Također obično osigurava da će kodiranje raditi kada se prevede. Glavni nedostatak je što je kreativnost jako ograničena. Ako korisnik pokuša napisati kodiranje na način koji je protivan standardima, čak i ako će sam kod funkcionirati i može biti bolji od standardnog kodiranja, tada će snažno tipkanje i dalje onemogućiti kodiranje sve dok ga korisnik ne standardizira.