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

Concept

Type class

Séances de cours associées (32)

Introduction aux types et aux relations inductives

Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.

Programmation orientée objet en C++

Couvre les constructeurs en C++, l'initialisation des attributs, la syntaxe et l'invocation automatique lors de la déclaration d'objet.

Monodromie : Action et classes

Couvre le concept de l'action monodromique dans le contexte des revêtements et explore la transitivité et les classes uniques.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

Sans titre

Surcharge de l'opérateur en C++Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la surcharge de l'opérateur en C++, mettant l'accent sur la manipulation de classe et la compilation de code.

Sous-typage et génériques dans Scala Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Types polymorphes chez Amy Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Pointeurs: Chaînes, Fonctions, Casting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.

Opérateurs personnalisés Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'implémentation d'opérateurs personnalisés dans un langage de programmation, y compris des exemples de syntaxe, des niveaux de préséance, des étapes d'analyse et des solutions telles que la surcharge de fonctions.

Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.