C'est plus du pattern matching que du type checking.
En typant, il va voir que t'as un objet de type A. Il a accès statiquement à la structure des objets de type A, et sait donc toutes les formes qu'ils peuvent avoir. Il vérifie ensuite que ton code couvre bien tous les cas possibles pour ton type.
[^] # Re: Mettre la complexité dans le typage
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Typage statique versus typage dynamique. Évalué à 4.
C'est plus du pattern matching que du type checking.
En typant, il va voir que t'as un objet de type A. Il a accès statiquement à la structure des objets de type A, et sait donc toutes les formes qu'ils peuvent avoir. Il vérifie ensuite que ton code couvre bien tous les cas possibles pour ton type.