Viele Sprachen haben einen any type (any in Go oder Typescript, std::any in C++, Object in Java, ...), da dieser oftmals nützlich ist.
Für DDP würde ich folgende Syntax vorschlagen:
Die Variable x ist 2.
Speichere "Hallo Welt" in x. [jeder beliebige Typ kann zu x zugewiesen werden]
Schreibe (x als Text) auf eine Zeile. [um eine Variable zu benutzen muss gecasted werden]
[man kann den tatsächlichen Typ einer Variable überprüfen]
Wenn x ein Text ist, dann:
...
Das einzige was man mit einer Variable machen kann ist sie zu Speichern, sie in einen konkreten Typ umzuwandeln und zu überprüfen ob sie ein bestimmter Typ ist.
Damit wird der Variablen Typ hoffentlich nicht übertrieben oft benutzt, da DDP immer noch eine statisch typisierte Sprache ist.
Viele Sprachen haben einen
anytype (anyin Go oder Typescript,std::anyin C++,Objectin Java, ...), da dieser oftmals nützlich ist.Für DDP würde ich folgende Syntax vorschlagen:
Das einzige was man mit einer Variable machen kann ist sie zu Speichern, sie in einen konkreten Typ umzuwandeln und zu überprüfen ob sie ein bestimmter Typ ist. Damit wird der Variablen Typ hoffentlich nicht übertrieben oft benutzt, da DDP immer noch eine statisch typisierte Sprache ist.