Cette séance de cours couvre les files d'attente prioritaires purement fonctionnelles optimales, en commençant par une vue d'ensemble des implémentations impératives et purement fonctionnelles, suivie par l'implémentation et les tests Scala, l'intégration Inox, les propriétés d'exploitation et les files d'attente binomiales. La présentation comprend également des résultats, des travaux futurs et des exigences explicites pour les files d'attente binomiales.