Statisches Typing vs. dynamisches Typing

Scalas statisches Typsystem hilft, Fehler in komplexen Anwendungen zu vermeiden. Obwohl statisches Typing ein Kernbestandteil von Scala ist, kann das Konzept eines Typsystems schwer zu greifen sein.

In dieser Übung ordnest du verschiedene Formulierungen derselben Aussage über statisch typisierte und dynamisch typisierte Sprachen zu, damit du diese Begriffe aus allen Blickwinkeln verstehst. Beispiel: run time ist ein Synonym für execution time.

Die folgenden Definitionen können helfen:

Typ: schränkt zur Laufzeit die möglichen Werte ein, auf die sich eine Variable beziehen kann bzw. die ein Ausdruck erzeugen kann.

Compile time: die Zeit, in der Quellcode in Maschinencode übersetzt wird, also in Code, den ein Computer lesen kann.

Run time: die Zeit, in der das Programm Befehle ausführt (nach der Kompilierung, falls kompiliert).