Cette séance de cours couvre l'abstraction contextuelle dans la construction de logiciels, en se concentrant sur la façon dont les fonctions et les classes peuvent être écrites sans connaissance détaillée du contexte dans lequel elles seront utilisées. La séance de cours traite de différentes formes d'abstraction contextuelle, telles que les cadres d'injection de dépendance et la représentation du contexte fonctionnel dans la programmation fonctionnelle. Il explore également le concept de classes de type et leur mise en œuvre, ainsi que l'utilisation de paramètres implicites et de types de fonctions implicites pour l'abstraction sur les abstractions de contexte.