Types polymorphes chez Amy

Cette séance de cours introduit les types polymorphes dans Amy, en se concentrant sur la définition et la mise en œuvre des types polymorphes pour les listes. Il couvre la transition des types non polymorphes aux types polymorphes, les règles d'inférence de type Hindley-Milner, les schémas de type, l'instanciation et les modifications dans l'analyseur à NameAnalyzer. La séance de cours aborde également les défis de la capture et de la préservation des variables de type dans les fonctions.