nicht angemeldet
Ich hab mal ne Frage:
Und zwar muss ich eine Aufgabe lösen, die mich immer mehr durcheinander bringt. Vielleicht kann mir jemand ein wenig auf die Spünge helfen?
Und zwar geht es um statische bzw. dynamische Semantik...
Ich hab mir jetzt überlegt, dass man die statische Semantik sich bereits ohne Ausführung bzw. vor Ausführung des Programms überprüfen kann.
Hier meine Frage: Kann bei der statischen Semantik einer Variablen nacheinander Werte unterschiedlicher Typen zugewiesen werden? Nein, oder? Es gilt doch immer nur die letzte Zuweisung, gelle? Also eigentlich jein?!?!?
Wie sieht das bei der dynamischen Semantik aus? Haben hier Variablendefinitionen keine Typangaben?
Vielen Dank schon mal vorab für eure Hilfe!