Можете объяснить, что подразумевается под проверкой типов в программировании?