type-systems
Définition formelle des types compatibles en Java (solidité)
J'essayais de trouver la définition algorithmique des types convertibles (et donc non convertibles) en Java.
À mon avis, un ... pes (in)convertibles dans les spécifications Java, et si elle a été correctement implémentée dans les compilateurs existants.
Definizione formale di tipi compatibili in Java (solidità)
Stavo cercando di trovare la definizione algoritmica di tipi convertibili (e quindi inconvertibili) in Java.
A mio parere un ... e ufficiale di (in)tipi convertibili nelle specifiche Java e se è stata correttamente implementata nei compilatori esistenti.