<<Il me semble quand meme que tu omets la raison majeure du typage dynamique en Java, a savoir la liaison tardive. Le typage statique de la liaison dynamique me semble indecidable, en Java en tout cas>>
En effet, et c'est le cas dans beaucoup de langages objets (Sather y compris). Tout dépend ce qu'on entend par typage. Je pense qu'il faut séparer le typage au niveau de l'interface qui doit être aussi statique que possible (d'où l'intérêt de la contravariance par rapport à la covariance) et l'exécution du code, effectivement dynamique.
[^] # 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.
En effet, et c'est le cas dans beaucoup de langages objets (Sather y compris). Tout dépend ce qu'on entend par typage. Je pense qu'il faut séparer le typage au niveau de l'interface qui doit être aussi statique que possible (d'où l'intérêt de la contravariance par rapport à la covariance) et l'exécution du code, effectivement dynamique.