La détection des erreurs de types dans le code utilisateur est manuelle (le développeur doit s'en occuper)

Deux types sont équivalents si et seulement s'ils ont le même lieu de définition

La vérification de type est effectuée à la compilation

Le compilateur permet la conversion entre n'importe quels types, même s'ils ne sont pas équivalents

Le compilateur garantit l'absence d'erreurs de conversion à l'exécution du programme

Deux types sont équivalents si et seulement s'ils ont la même structure

La détection des erreurs de types dans le code utilisateur est automatique (le développeur n'a pas besoin de s'en occuper)

La vérification de type est effectuée à l'exécution