Context Passing : Contextes d'exécution

Cette séance de cours traite du concept de passage de contexte par rapport aux classes de type, en se concentrant sur les contextes de passage implicitement dans Scala. Il couvre l'utilisation des contextes d'exécution pour les calculs parallèles, la propagation des ordonnanceurs et l'abstraction sur les valeurs. Les exemples incluent un système de gestion de séance de cours où la propagation du contexte est cruciale pour la confidentialité des données. La séance de cours explore également les techniques d'inviolabilité utilisant des alias de type opaques et les avantages de l'opacité dans la prévention des connexions involontaires entre les paramètres implicites. Il se termine par une discussion sur limportance dêtre spécifique lors de la définition des instances données et présente un exercice sur lévaluation des expressions avec une forme Let.