Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente Stainless, un vérificateur pour Scala, soulignant son rôle dans la combinaison de la programmation orientée objet et fonctionnelle. La séance de cours couvre l'importance des types statiques de Scala dans la prévention des bogues, sa compatibilité avec les environnements d'exécution JVM et JavaScript, et l'accès à de vastes bibliothèques. Il se penche également sur la documentation Stainless, la vérification formelle de Scala et des exemples de vérification des propriétés dans le code Scala.