Warum ist die Typdeklaration in einer statisch typisierten Sprache wichtig?

Question

Ich versuche den Nutzen einer Programmiersprache zu verstehen, die statisch getippt wird, und damit frage ich mich, warum wir eine Deklaration eintippen müssen? Dient es irgendeinem Zweck, anstatt den Typ explizit zu machen? Wenn dies der Fall ist, sehe ich den Punkt nicht. Ich verstehe, dass die statische Typisierung eine Typüberprüfung zur Kompilierungszeit ermöglicht, aber wenn wir die explizite Typdeklaration weglassen, kann Java während der Kompilierungszeit noch keinen Typ ableiten?

Zum Beispiel, sagen wir, wir haben in Java:

myClass test = new myClass(); 

Ist nicht die Typdeklaration hier überflüssig? Wenn ich mich nicht irre, ist dies eine statische Bindung, und Java sollte wissen, test ist vom Typ myClass ohne explizite Deklaration des Typs, selbst zur Kompilierzeit.

Antwort auf mögliche Duplikate: Dies ist keine Frage in Bezug auf statische vs. dynamische Typ, sondern eher auf Typ Rückschluss in statisch typisierten Sprachen, wie in der angenommenen Antwort erklärt.

Answer 1

Dort sind statisch typisierte Sprachen, die es Ihnen ermöglichen, die Typdeklaration wegzulassen. Dies wird type inference genannt. Die Nachteile sind, dass es schwieriger zu gestalten ist (für die Sprachdesigner), schwerer zu implementieren (für die Compiler-Autoren) und schwieriger zu verstehen ist, wenn etwas schief geht (für Programmierer). Das Problem mit dem Letzten ist, dass, wenn viele (oder alle) Ihrer Typen abgeleitet werden, der Compiler Ihnen nicht viel mehr sagen kann als "die Typen sind nicht alle konsistent" - oft über eine kryptische Nachricht.

In einem trivialen Fall wie dem, den Sie anführen, ja, es ist einfach. Je weiter Sie sich von dem trivialen Fall entfernen, desto komplexer wird das System.

Java macht tatsächlich ein bisschen Typ-Inferenz, in sehr begrenzten Formen. Zum Beispiel in diesem Snippet:

List<String> emptyStrings = Collections.emptyList(); 

... hat der Compiler gefolgert, dass der Aufruf der Methode emptyList eine List<String> zurückgibt, und nicht nur ein List<T> wo der Typ T ist nicht spezifiziert. Die nicht abgeleitete Version dieser Zeile (die auch Java ist) lautet:

List<String> emptyStrings = Collections.<String> emptyList(); 

Answer 2

Es ist notwendig. Sie können Vererbung haben, wo Typen notwendig sind.

Zum Beispiel:

Building build1 = new House(); 
Building build2 = new SkyScraper(); 

Es ist das gleiche in Polymorphismus.

Sie können dann alle Building s zum Array zum Beispiel sammeln. Wenn es eine House und eine SkyScraper geben wird, können Sie dies nicht tun.