Aby przypisać operator, identyfikator lub literał więcej niż jedno znaczenie, zależności - typy danych skojarzonych z nim w każdej chwili podczas wykonywania programu.