Tout à fait d'accord avec l'essentiel de ton post, en particulier avec le 6 (Sather, c'est de la balle). Pour le 5, je serais plus mitigé. Les vérifications effectuées par la JVM permettent d'éviter un bytecode bidouillé. Il y a donc un "double" typage (à la compilation vers le bytecode et lors de la vérification de celui-ci). En théorie cependant, Java est typé relativement statiquement. Je dis relativement car il y a des casts et de la reflection, donc nécessairement du typage dynamique. Mais en dehors de ces opérateurs, on peut typer statiquement un programme (contrairement à Eiffel et à sa covariance, d'ailleurs).
[^] # Re: Typage statique vs. typage dynamique
Posté par boubou . En réponse à la dépêche Java la synthèse - Vers la maturité avec le JDK 1.2. Évalué à 1.