Vérification de capture Scala : la technologie derrière une présentation ratée

Cet article relate la présentation ratée de l’auteur sur la vérification de capture lors de Scala Days 2025 et la plongée ultérieure dans la technologie. La vérification de capture vise à résoudre le problème des valeurs qui échappent à leur portée prévue, comme la fermeture prématurée des ressources dans les modèles try-with-resource. Scala implémente la vérification de capture en introduisant des « ensembles de capture », une fonctionnalité du système de types qui permet de marquer un type et toutes les valeurs qu’il capture. L’article détaille les ensembles de capture, le sous-typage, le sucre syntaxique et les mécanismes de capture des fonctions et des classes, en explorant le comportement de l’ensemble de capture dans les paramètres de type. Enfin, l’auteur soutient que, bien que la vérification de capture implique de nombreux détails, il s’agit d’une fonctionnalité en grande partie invisible pour la plupart des développeurs, améliorant la sécurité de Scala et permettant une utilisation plus large des capacités.