Perché la dichiarazione di tipo è importante in un linguaggio tipizzato in modo statico?

Question

Sto cercando di capire il vantaggio di un linguaggio di programmazione che viene tipizzato staticamente, e attraverso questo, mi chiedo perché dobbiamo includere il tipo nella dichiarazione? Serve a qualcosa piuttosto che a rendere esplicito il tipo? Se questo è il caso, non vedo il punto. Capisco che la tipizzazione statica consenta il controllo dei tipi in fase di compilazione, ma se omettiamo la dichiarazione del tipo esplicito, non è possibile ancora Java inferire il tipo durante la compilazione?

Per esempio, diciamo che abbiamo in Java:

myClass test = new myClass(); 

non è la dichiarazione di tipo inutile qui? Se non sbaglio, si tratta di un collegamento statico e Java dovrebbe sapere che test è di tipo myClass senza dichiarazione esplicita di tipo anche in fase di compilazione.

Risposta a possibili duplicati: questa non è una domanda riguardante il tipo statico rispetto a quello dinamico, ma piuttosto l'inferenza di tipo nelle lingue tipizzate staticamente, come spiegato nella risposta accettata.

Answer 1

Lì sono lingue tipizzate in modo statico che consentono di omettere la dichiarazione del tipo. Questo è chiamato type inference. Gli svantaggi sono che è più difficile progettare (per i progettisti di linguaggi), più difficile da implementare (per gli scrittori di compilatori), e può essere più difficile capire quando qualcosa va storto (per i programmatori). Il problema con l'ultimo di questi è che se molti (o tutti) i tuoi tipi sono dedotti, il compilatore non può dirti molto di più di "i tipi non sono tutti coerenti" - spesso tramite un messaggio criptico.

In un caso banale come quello che citi, sì, è facile. Ma man mano che ti allontani dal caso banale, il sistema diventa rapidamente più complesso.

Java in realtà esegue un po 'di inferenza di tipo, in forme molto limitate. Per esempio, in questo frammento:

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

... il compilatore ha dedotto che la chiamata al metodo restituisce un emptyListList<String>, e non solo un List<T> cui il tipo T non è specificato. La versione non derivata di quella linea (che è anche Java valida) è:

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

Answer 2

È necessario. Puoi avere ereditarietà, dove i tipi sono necessari.

Ad esempio:

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

è lo stesso in polimorfismo.

È quindi possibile raccogliere tutti gli Building s per l'array ad esempio. Se ci sarà uno House e uno SkyScraper non puoi farlo.