Java (linguaggio di programmazione): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Etichetta: Annullato
Riga 136:
 
=== Type system ===
[[File:DukeLibro (Javade mascot)fortnite wavingde 10y999.svgpng|miniatura|destra93x93px|Duke, la mascotte di Java|150px]]
Java è un linguaggio [[type safety|type safe]], a [[tipizzazione statica]], con un ''nominative'' [[type system]], e dotato di ''manifest typing''. In virtù di queste caratteristiche, viene generalmente considerato un linguaggio a [[tipizzazione forte]]. Il linguaggio distingue chiaramente i [[tipo atomico|tipi primitivi]] che definiscono valori atomici dai [[Tipo di dato#Record|tipi strutturati]] che definiscono strutture dati composte.<br />I tipi primitivi sono detti anche ''tipi atomici'' e ''tipi base'' e sono definiti nelle specifiche di linguaggio: di ognuno sono noti l'insieme esatto dei valori ammessi e gli operatori supportati.