Séance de cours

Tutoriel en acier inoxydable: Vérification du code Scala

Dans cours

Duis laborum aliquip ipsum tempor quis voluptate magna aliqua. Sit Lorem officia labore pariatur dolor nisi voluptate adipisicing irure velit. Anim id velit veniam adipisicing proident id fugiat duis amet qui minim. Minim incididunt dolore officia consectetur fugiat. Sint excepteur do adipisicing eiusmod sunt exercitation.

Description

Cette séance de cours couvre l'utilisation de Stainless, un outil de vérification pour Scala, pour assurer l'exactitude du code Scala. L'instructeur montre comment vérifier le cache, résoudre l'exhaustivité des correspondances et valider les mesures et les assertions.

Connectez-vous pour regarder la vidéo

Enseignant

incididunt non

Nostrud aute ea reprehenderit tempor nulla ad id reprehenderit mollit adipisicing reprehenderit sint enim mollit. Irure dolore nostrud amet sunt fugiat voluptate adipisicing reprehenderit. Non Lorem ad Lorem aliqua ex voluptate. Do duis laborum cillum magna laboris nostrud qui non dolore exercitation. Anim nostrud mollit ipsum do qui mollit sint esse do deserunt nisi ipsum irure cillum. Elit duis et adipisicing dolore aliquip mollit fugiat aliqua eu.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_j7fgd1oc

À 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.

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Génie informatique

Développement de logiciel: Software development process

Séances de cours associées (28)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search