Vor- und Nachteile statischer Typsysteme

Eine Sprache ist statisch typisiert, wenn der Typ einer Variablen zur Compile-Zeit bekannt ist. Das heißt, Typen werden vor der Laufzeit geprüft. Es gibt Vor- und Nachteile, die für die meisten statischen Typsysteme typisch sind. Die fortschrittliche Implementierung eines statischen Typsystems in Scala versucht, einige der Nachteile auszugleichen.

In dieser Übung ordnest du Aussagen über statische Typsysteme entweder einem Pro, einem Contra oder einem Contra zu, das durch eine Funktion des statischen Typsystems von Scala adressiert wird.