Cette séance de cours couvre le concept de types de fonctions implicites, qui permettent de déduire des arguments similaires aux méthodes avec des clauses d'utilisation. Il explore l'application des types de fonctions implicites dans un système de gestion de séance de cours, démontrant comment remplacer les paramètres explicites par des paramètres implicites. La séance de cours traite également du compromis entre les types et les termes dans les paramètres implicites et de la façon dont les types de fonctions implicites sont abstraits par rapport à lutilisation de clauses, permettant des abstractions de contexte.