Ich habe mich gefragt, ob es eine Programmiersprache gibt, die zu Maschinencode / Binärcode kompiliert (nicht zu Bytecode, der dann von einer VM ausgeführt wird, das ist etwas völlig anderes, wenn man überlegt, zu tippen), die dynamisches und / oder schwaches Tippen bietet, z.

Stellen Sie sich eine kompilierte Sprache vor, in der:

Variablen müssen nicht deklariert werdenVariablen können zur Laufzeit angelegt werdenFunktionen können Werte verschiedener Typen zurückgeben

Fragen:

Gibt es so eine Programmiersprache?(Warum nicht?

Ich denke, dass eine dynamisch und dennoch stark typisierte, kompilierte Sprache wirklich Sinn macht, aber ist es möglich?