Il ne faut pas confondre « null » (la « valeur ») et « NullPointerException » qui est une exception, comme son nom l'indique. Mon prof de typage dirait que dans ce dernier cas, on se retrouve bien dans une situation clairement définie, et définitivement non « bloquée » : on sait où a eu lieu l'exception (la jvm a même la politesse de nous donner la ligne pour le source), et on n'a pas de risque de comportement indéfini (comme par exemple lorsque j'écrase la pile d'un thread avec un autre de mes threads en C...).
Java embarque une plâtrée de lambda calcul dans son moteur, justement pour assurer une certaine sûreté des types. Le seul moment où ce n'est pas vrai, c'est avec les types de base (int, char, byte, etc.), où là par contre, on peut encore faire du cast sauvage (jusqu'à certaines limites).
[^] # Re: Il y a deux notions de langage securise
Posté par lasher . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 1.
Java embarque une plâtrée de lambda calcul dans son moteur, justement pour assurer une certaine sûreté des types. Le seul moment où ce n'est pas vrai, c'est avec les types de base (int, char, byte, etc.), où là par contre, on peut encore faire du cast sauvage (jusqu'à certaines limites).