Sistema dei tipi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
←Nuova pagina: In informatica, un '''sistema dei tipi''' è un ''framework'' sintattico per la classificazione di espressioni secondo i tipi che esse calcolano.<ref ... |
Nessun oggetto della modifica |
||
Riga 1:
In [[informatica]], un '''sistema dei tipi''' è un ''framework'' sintattico per la classificazione di espressioni secondo i [[tipo di dato|tipi]] che esse calcolano.<ref name="pierce2002">{{cite book|last=Pierce|first=Benjamin|title=Types and Programming Languages|publisher=MIT Press|year=2002|id=ISBN 0-262-16209-1}}</ref> Un sistema dei tipi associa ''tipi'' a ogni valore computato. Esaminando il flusso di questi valori, un sistema dei tipi tenta di dimostrare che non avvengano ''errori di tipo''. Il sistema stesso determina che cosa costituisce un errore di tipo, garantendo che le operazioni che si aspettano un certo tipo di valore non siano utilizzate con valori per i quali quell'operazione non ha senso.
La profondità dei vincoli sui tipi e la maniera con cui essi vengono valutati dal sistema influenzano la cosiddetta ''tipizzazione'' del [[linguaggio di programmazione]]. Nel caso di [[polimorfismo dei tipi]], un linguaggio può associare alla stessa operazione un diverso algoritmo per ogni tipo utilizzabile. Sebbene i sistemi dei tipi concreti utilizzati nei linguaggi di programmazione nascano da problemi di natura pratica di [[architettura
==Voci correlate==
|