Definitsioon: andmetüüpide ja tehte ühilduvuse või tehtele eelneva ilmutatud tüübiteisenduse nõude sundkohaldamine keeletarindi operandidele
Mõiste: nõrk tüüpsus
Ülemmõiste: tüüp
Mõiste: nõrk tüüpsus
Ülemmõiste: andmetüüp