Séance de cours
Cette séance de cours explore le concept de files d'attente prioritaires purement fonctionnelles, en mettant l'accent sur l'optimisation des principales opérations telles que findMin, insert, meld et delMin. Il couvre la mise en œuvre des files d'attente binomiales, les files d'attente binomiales et l'introduction d'une racine mondiale pour améliorer l'efficacité. La présentation se penche sur la question de la recherche d'atteindre des performances impératives dans un cadre purement fonctionnel, mettant en évidence diverses optimisations et travaux pratiques dans la traduction standard ML en Scala.