Séance de cours

Premiers pas avec Stainless

Description

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.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.