Polymorphisme et preuves

Cette séance de cours porte sur le polymorphisme paramétrique, les listes de construction, les tuples, les méthodes génériques, le tri de fusion, les propriétés de programme prouvant, les fonctions de liste d'ordre supérieur, le sous-typage, les génériques, les paramètres de type, les fonctions génériques, l'inférence de type et les exercices avec des génériques. Elle se décline également dans les listes Scala, les constructeurs de listes, l'associativité droite, les opérations sur les listes, la décomposition des listes à l'aide de modèles, les listes de tri, le tri d'insertion, le tri de fusion, les tuples et les méthodes génériques. La séance de cours souligne l'importance de l'induction structurelle, de la transparence référentielle, des lois de concaténation et de la réduction des listes en utilisant des fonctions comme la carte, filtrer, réduireLeft, pliLeft, reduceRight et pliRight.