Conclusion
Déclaration du type des identificateurs/synthèse du type
Vérification/inférence
Typage fort: une expression a un type unique
Garanties apportées par le typage fort
Extensions
surcharge
sous-typage, objets
modules
