Ben, le typage, c'est la detection de sequences dans le programme qui sont susceptibles de provoquer une erreur a l'execution.
Java, avec son obligation de de typer dynamiquement la liaison tardive, qui constitue quand meme une des parties les plus importantes (en temps de calcul, disons) de son typage procede donc bien par typage mixte. La partie statique du typage consiste uniquement en de la verification, comme tu le dis, de coherence dans les interfaces.
[^] # Re: Typage statique vs. typage dynamique
Posté par Anonyme . En réponse à la dépêche Java la synthèse - Vers la maturité avec le JDK 1.2. Évalué à 0.
Java, avec son obligation de de typer dynamiquement la liaison tardive, qui constitue quand meme une des parties les plus importantes (en temps de calcul, disons) de son typage procede donc bien par typage mixte. La partie statique du typage consiste uniquement en de la verification, comme tu le dis, de coherence dans les interfaces.
M'enfin, on pinaille, la :-)
Rogue