En fait il existe des outils qui font ça, voir par exemple findbugs dont on a parlé sur linuxfr il n'y a pas si longtemps.
Mais on ne peut pas encoder cette contrainte au niveau des types (en fait on pourrait dire que findbug étant le typage pour encoder ce genre de chose, c'est juste que c'est un typage pas compris par le compilateur Java mais compris par le vérifieur findbugs).
Donc Java a un typage fort, mais il est pas suffisamment fort, contrairement à Georges.
[^] # Re: typage mou
Posté par Victor . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.
Mais on ne peut pas encoder cette contrainte au niveau des types (en fait on pourrait dire que findbug étant le typage pour encoder ce genre de chose, c'est juste que c'est un typage pas compris par le compilateur Java mais compris par le vérifieur findbugs).
Donc Java a un typage fort, mais il est pas suffisamment fort, contrairement à Georges.