Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Scala (langage)

Séances de cours associées (31)

Introduction à l'acier inoxydable: Premiers pas avec l'acier inoxydable

Introduit l'outil de vérification Stainless avec des exemples de vérification des propriétés de commutativité et des opérations arithmétiques.

Opérations Data-Parallel: Programmation Scala

Couvre les opérations parallèles de données dans la programmation Scala, en mettant l'accent sur les opérations de repliement et l'exploitation agrégée.

Contrôle revu

Explore la supervision dans les systèmes d'acteur, en se concentrant sur l'implémentation Akka Taped et les décorateurs de comportement.

Scala Parallel Collections: Bases et Meilleures Pratiques

Couvre les collections parallèles Scala, écrivant le code parallélisme-agnostique, convertissant les collections, les intersections, les opérations d'effets secondaires et les modifications simultanées.

Fonctions : Python Basics

Couvre les bases des fonctions de Python, y compris leur définition, leur but et leur utilisation.

Algèbre abstraite et classes de type

Couvre les concepts d'algèbre abstraite en utilisant des classes de type dans Scala, y compris la définition des monoïdes, la généralisation des fonctions de réduction et les lois de classe de type.

Hiérarchies de classe: Correspondance des motifs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les hiérarchies de classe, les classes de cas, les enums, les correspondances de motifs et les valeurs de fonction dans Scala.

Processus de construction du noyau Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le processus de construction du noyau, la soumission de patchs, et le développement d'applications web Scala.

Conversion implicite : concepts de base Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de base de la conversion implicite dans Scala et son implémentation dans le code Scala.

Compilation des objectifs Scala Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le processus de compilation de Scala Lens et l'utilisation de collections itérables pour les résultats de rembourrage.

Tests basés sur les propriétés: techniques et applications avancées Connectez-vous à Mediaspace pour regarder cette vidéo

Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.