Sommario:
Definizione - Cosa significa "Staticamente tipizzato"?
Digitato staticamente è una caratteristica del linguaggio di programmazione in cui i tipi di variabili vengono dichiarati esplicitamente e quindi determinati al momento della compilazione. Ciò consente al compilatore di decidere se una determinata variabile può eseguire o meno le azioni richieste da essa.
La tipizzazione statica associa i tipi alle variabili, non ai valori. Alcuni esempi di linguaggi di programmazione tipizzati staticamente includono:
- Haskell
- FORTRAN
- Giava
- C
- C #
- C ++
- Ada
- Giada
- Pascal
- ML
- Perl
- Scala
Techopedia spiega Statically Typed
Nella digitazione statica, non è necessario eseguire ulteriori controlli durante il runtime per confermare che un oggetto può eseguire alcune azioni. I linguaggi di programmazione tipizzati staticamente eseguono il controllo del tipo durante la compilazione anziché durante il runtime, il che rende i programmi scritti in questi linguaggi molto più veloci.
Inoltre, gli strumenti e il refactoring sono migliori nei linguaggi tipicamente statici poiché gli strumenti possono scoprire i tipi di variabili mentre il programma è codificato. Questo aiuta a comprendere istantaneamente i parametri per una determinata funzione e anche i metodi disponibili per un oggetto specifico. Ciò rende anche il processo di refactoring molto più semplice.
Con poche eccezioni, una volta che un metodo o un oggetto viene refactored, è facile capire immediatamente quali altri codici dipendono da esso. Tuttavia, questo ha un costo. Con poche eccezioni, le lingue tipizzate staticamente richiedono ulteriori annotazioni per informare il compilatore in merito agli obiettivi previsti dell'autore.
Quando si tratta della struttura degli oggetti, i linguaggi tipizzati staticamente tendono ad essere meno flessibili rispetto alle loro controparti dinamiche. Non è possibile aggiungere campi e metodi a un determinato oggetto durante il runtime. Questo può essere complicato quando si gestiscono dati meno strutturati; ad esempio, l'analisi di query JSON, XML o di database porta a mapping di oggetti tutt'altro che ideali.
