En funktion i vissa programspråk som kräver typ av varje uppgifter förklaras, utgör hinder för tillämpningen av aktörer till olämpligt datatyper och förhindrar samspelet mellan element av inkompatibla typer.