Tipizzazione
Come un linguaggio gestisce tipi di valori e operazioni adatte.
Che cos’è la tipizzazione?
La tipizzazione regola i tipi di valori e le operazioni adatte. Il controllo statico può rilevare incompatibilità prima dell’esecuzione; la tipizzazione dinamica tratta i tipi durante l’esecuzione. Le informazioni possono essere esplicite o inferite da uno strumento. Un linguaggio tipizzato non è automaticamente privo di errori di business.
In un portale inventato, quantity deve essere trattato come number. Un controllore statico adatto può segnalare un’assegnazione di testo. Il tipo numerico non dice da solo se la quantità sia positiva, intera o valida per l’unità scelta. Un’annotazione TypeScript non valida automaticamente durante l’esecuzione i dati di un’interfaccia esterna. Input e regole richiedono verifiche proprie.
Fonti
Termini correlati
- Analisi statica del codiceEsaminare il codice o una sua rappresentazione senza eseguire il flusso applicativo.
- CompilatoreUn programma che traduce codice sorgente in un’altra rappresentazione di destinazione.
- Validazione dei datiLa validazione dei dati controlla requisiti definiti, come formato, campi obbligatori o intervalli ammessi.
- Sistema legacyUn sistema esistente ancora utilizzato, con dipendenze tecniche e aziendali accumulate nel tempo.
- Architettura multi-tenantUna soluzione multi-tenant supporta ambiti separati per clienti o gruppi. Un tenant non equivale automaticamente a una persona o a un database.
- Cache del browserLa cache del browser conserva risposte HTTP adatte. Riuso e validazione seguono le regole applicabili.
Articoli sul tema
Sviluppo software con ASES
Software su misura, app web e mobile