Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
Explore des sujets avancés d'ingénierie logicielle et de traitement du signal en utilisant des listes paresseuses pour construire un synthétiseur sonore à partir de zéro.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Explore le sous-typage, les génériques et la variance dans Scala, en soulignant l'importance de descriptions de types précises et en démontrant des applications pratiques des expressions.
Il présente Merge Sort, un algorithme de division et de conquête pour un tri efficace des tableaux, la discussion de l'exactitude, l'analyse de l'exécution, la fusion en temps linéaire et les techniques de résolution des récurrences.
