statische - dynamische Semantik

[Khia]

Naja, es geht eigentlich um keine bestimmte Programmiersprache.
Wir sollen halt überlegen, was eher zu einer Sprache passt, in der die Typregeln zur statischen bzw. dynamischen Semantik gehören sollen.

Dann sind da ein paar Aussagen, die wir halt zuordnen sollen.

Z.B. Es gibt keine Variablendefinition. Gehört wozu? Meiner Ansicht nach Quatsch, gibt es nämlich immer.
oder
Variablendefinitionen haben keine Typangaben. Gehört wozu?
oder
Eine Variable darf nur Werte eines einzigen Typs aufnehmen.
oder
Einer Variablen können nacheinander Werte unterschiedlicher Typen zugewiesen werden.

usw...

hi,

Und zwar geht es um statische bzw. dynamische Semantik...

aha.
hä?

Wie sieht das bei der dynamischen Semantik aus? Haben hier Variablendefinitionen keine Typangaben?

von welcher programmiersprache reden wir denn eigentlich?
die sind ja durchaus verschieden, was variablentypen, (automatisches) type casting etc. angeht.

gruss,
wahsaga