Esiste una lingua con qualcosa di simile al seguente costrutto?
var_type(TYPE_1, TYPE_2,..., TYPE_N) obj;
e ora è possibile:
TYPE_17 staticTypeVariable17;
obj = staticTypeVariable17;
TYPE_3 staticTypeVariable3;
obj = staticTypeVariable3;
senza obj
è un puntatore di qualche classe base e senza bisogno di eseguire il cast se i tipi utilizzati provengono dal set predefinito.
Quindi, fondamentalmente un oggetto che può cambiare tipo tra tipi predefiniti di tipi.