Java (linguaggio di programmazione): differenze tra le versioni

Versione delle 00:52, 26 feb 2025

Versione delle 01:15, 26 feb 2025

Riga 136:

=== Type system ===

[[File:LibroDuke de(Java fortnitemascot) de 10y999waving.pngsvg|miniatura|93x93pxdestra|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.